-
Notifications
You must be signed in to change notification settings - Fork 351
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
Feature request: Have an option to disable git --depth 1 on opam source --dev #5061
Comments
Actually this is a change/regression in 2.2 (by #4442). Adding temporarily to the 2.2 project for discussion at the next dev meeting. |
Something discovered is also that there seems to be an issue with caching. We might want to have a futher look at it.
|
A small suggestion regarding the interface: I would imagine in many cases users will know they should have used the opam option only when they are blocked later down the line, wouldn’t they? So I would suggest an extra message, teaching users the git |
I think this could be in separate issue. |
…5061) - Add the an option in the backend.
i agree. Could you open it separately? |
When pulling the git sources of an opam package it would be nice to have an option to make it not use
--depth 1
(or the opposite, remove the--depth 1
by default and add an option for that).It would avoid having to do the annoying subsequant
git pull --unshallow
to it, to be able to push stuff to a fork for instanceThe text was updated successfully, but these errors were encountered: