-
-
Notifications
You must be signed in to change notification settings - Fork 4.9k
git-update-index: add page #3911
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
Conversation
|
The build for this PR failed with the following error(s): Please fix the error(s) and push again. |
Co-Authored-By: Zlatan Vasović <[email protected]>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks, @yukuku!
I'm curious about the use-case for this though. Very weird example!
|
I've used this several times when dealing with repositories that I don't regularly maintain but has e.g.
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
hi @yukuku thank you for your contribution. I left a comment for you to take a look. It is ok with me after the change.
Co-Authored-By: Ein Verne <[email protected]>
|
Wow, that's such a very cool use-case @yukuku - thanks so much! I'll remember that one - it would have made a number of situations much easier :D |
|
Hey @yukuku and @sbrl — just thought I'd mention that for the use case of a missing |
common/,linux/, etc.)