-
Notifications
You must be signed in to change notification settings - Fork 36
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
Don't try to understand my Github URL #479
Comments
Does the workaround mentioned work though? The whole |
The problematic part is not requiring a URL, which works fine as long as it doesn't have a meaning other than being a URL for git. I have not found a workaround, this requires a fix: #480 |
The user name is used to identify branches when creating the PR, something like |
This is partly fixed by #480 but it's not documented and the tool will not ask for the information interactively (instead it'll fail for a bad reason). |
I get this error when I run
dune-release opam submit
:No other URL exists due to my configuration. SSH URLs can be arbitrarily complex (even when pointing to Github) and I don't want any tool to decode mines. Git doesn't, for example.
The text was updated successfully, but these errors were encountered: