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.

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

reftest: untie lock test from OPAMEDITOR hack, and fix lock VCS remote detection #6412

Open
wants to merge 4 commits into
base: master
Choose a base branch
from

Conversation

rjbou
Copy link
Collaborator

@rjbou rjbou commented Mar 6, 2025

The change in lock test is needed for #6319. While changing the test, i found the bug with git remote get-url, which is specific to opam lock handling.

Queued on

@rjbou rjbou added KIND: BUG PR: QUEUED Pending pull request, waiting for other work to be merged or closed labels Mar 6, 2025
@kit-ty-kate kit-ty-kate added this to the 2.4.0~alpha1 milestone Mar 6, 2025
@kit-ty-kate kit-ty-kate force-pushed the lock-test-no-editor branch from b8c9682 to 9b5a12a Compare March 7, 2025 19:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
KIND: BUG PR: QUEUED Pending pull request, waiting for other work to be merged or closed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants