-
Notifications
You must be signed in to change notification settings - Fork 151
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
UI for specifying Git repo is very confusing #212
Labels
Comments
This requires a change to Irmin: @samoht will this be in the Irmin 1.0 API? |
It could be added yes, is there an issue upstream? |
I've added mirage/irmin#398 for this. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Problems:
/.git
to the path, and thus creates a new empty repository inside the one you wanted to use. We should probably require a--auto-create
option or similar to create a new repository, not change the path the user gives, and warn if they give a path with a.git
subdirectory.(discovered while testing with @jdjakub)
The text was updated successfully, but these errors were encountered: