Skip to content

fix: make git installation more resilient against ssl tampering#743

Merged
mhuisi merged 1 commit intoleanprover:masterfrom
mhuisi:push-qotouoxqrzwu
Mar 24, 2026
Merged

fix: make git installation more resilient against ssl tampering#743
mhuisi merged 1 commit intoleanprover:masterfrom
mhuisi:push-qotouoxqrzwu

Conversation

@mhuisi
Copy link
Copy Markdown
Collaborator

@mhuisi mhuisi commented Mar 24, 2026

This PR makes the installation of Git in the extension more resilient. On a Windows server, I witnessed the following error with the current installation:

Failed when searching source: msstore
An unexpected error occurred while executing the command:
0x8a15005e : The server certificate did not match any of the expected values.

I'm not sure whether this issue is specific to the Windows server, but explicitly setting the source prevents this issue from occurring.

@mhuisi mhuisi merged commit 3e79c8b into leanprover:master Mar 24, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant