-
Notifications
You must be signed in to change notification settings - Fork 245
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
mirage configure
fails in a git repository with no origin
remote
#1188
Comments
It looks like this is caused by some autodetection magic in Functoria's opam-related logic ( https://github.com/mirage/mirage/blob/master/lib/functoria/opam.ml#L34 ) and that if I had passed a value noting that I don't want The existing error message, |
As reported in mirage#1188, in case no git remote is specified (or no branch is configured), git will complain to stderr "fatal: No such remote 'origin'". The code in question is used to include a src url into the generated opam file on a best-effort basis, and already handles errors (e.g. the unikernel is not developed in a git repository) by using a dummy url.
Thanks for your report. I was able to reproduce this locally, and opened #1201 with a fix. While reproducing I encountered a similar issue: execute mirage configure in a git repository with no commits (i.e. have your unikernel, and do a |
this is fixed in the branch |
Creating an
origin
remote pointed somewhere stupid fixes this.The text was updated successfully, but these errors were encountered: