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

Windows: git-location in init config file is unused #5845

Closed
rjbou opened this issue Feb 15, 2024 · 0 comments · Fixed by #5848
Closed

Windows: git-location in init config file is unused #5845

rjbou opened this issue Feb 15, 2024 · 0 comments · Fixed by #5848
Labels
KIND: BUG
Milestone
2.2.0~beta2

Comments

@rjbou
Copy link
Collaborator

rjbou commented Feb 15, 2024

Field git-location is defined in init config file, but it is not used for git location setup.
related to #5718
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
KIND: BUG
Projects
None yet
Milestone
2.2.0~beta2
Development

Successfully merging a pull request may close this issue.

init: on windows, fix handling of 'git-location' when defined in init config rjbou/opam
1 participant
@rjbou