Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

find hg versions that work for the Isabelle mirror #242

Closed
lsf37 opened this issue Nov 20, 2022 · 2 comments · Fixed by #244
Closed

find hg versions that work for the Isabelle mirror #242

lsf37 opened this issue Nov 20, 2022 · 2 comments · Fixed by #244
Assignees
@lsf37

Comments

@lsf37
Copy link
Member

lsf37 commented Nov 20, 2022

While #241 fixed the problem that the local clone had features that the old mercurial needed for preserving git hashes does not understand, it leads to another problem -- it can't clone the actual remote:

isabelle-mirror: fetching upstream: http://isabelle.in.tum.de/repos/isabelle
abort: error: [SSL] internal error (_ssl.c:733)
Error: Action isabelle-mirror failed.

So while the hg protocol is specified to be able to interact with older client versions, it looks like the SSL version of mercurial 3.x is too old to interact with current SSL.
@lsf37
Copy link
Member Author

lsf37 commented Nov 20, 2022

On thing to investigate would be to see if the feature share-safe can be switched off in the system-hg clone.

@lsf37 lsf37 self-assigned this Nov 20, 2022
@lsf37
Copy link
Member Author

lsf37 commented Nov 20, 2022

Despite what the mercurial Wiki, man page and other docs say, the format option is neither exp-share-safe, not share-safe, but use-share-safe. The following seems to do the trick on my local machine with mercurial 6.2.3:

hg --config format.use-share-safe=False clone <upstream>`

lsf37 added a commit that referenced this issue Nov 22, 2022
@lsf37
isabelle-mirror: hg 3.x SSL cannot clone upstream
5ca75fe 
`hg clone` does not work, because the SSL version in hg 3.x is too old
for the upstream Isabelle repo.

`hg-system clone` does work, but later leads to failure because it
produces a repo format that hg 3.x can no longer interact with.

The change instructs `hg-system` to use an older repo format.

Fixes #242

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
@lsf37 lsf37 mentioned this issue Nov 22, 2022
Merged
lsf37 added a commit that referenced this issue Nov 23, 2022
@lsf37
isabelle-mirror: hg 3.x SSL cannot clone upstream
02aa10e 
`hg clone` does not work, because the SSL version in hg 3.x is too old
for the upstream Isabelle repo.

`hg-system clone` does work, but later leads to failure because it
produces a repo format that hg 3.x can no longer interact with.

The change instructs `hg-system` to use an older repo format.

Fixes #242

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lsf37 lsf37

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

isabelle-mirror: hg 3.x SSL cannot clone upstream seL4/ci-actions
1 participant
@lsf37