gitk: new option to hide prefetch refs #21
Closed
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
The maintenance 'prefetch' task creates refs that mirror remote refs, and in repositories with many branches this can clutter the commit list. Add a new option to ignore any prefetch refs, enabled by default. Signed-off-by: Tal Kelrich <hasturkun@gmail.com> Signed-off-by: Michael Rappazzo <rappazzo@gmail.com>
|
Prefetch refs are not the only refs people want to hide. Please have a look at PR #16 if it would satisfy your needs. It adds an edit box where you can specify patterns which refs to hide. |
|
That seems reasonable and much more flexible. I've withdrawn this pull request. |
|
You should base your patch on another PRs only if the other PR is a prerequisite for your change. A conflict is not an indication of a prerequisite. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
The maintenance 'prefetch' task creates refs that mirror remote refs, and in repositories with many branches this can clutter the commit list.
Add a new option to ignore any prefetch refs, enabled by default.
--
This was authored by @hasturkun and submitted to the git email list several years ago. It was never brought into the upstream for whatever reason, but likely due to the process for getting changes to gitk at the time.
I have been rebasing and patching this change to my locally installed gitk script ever since this code's submission to the git email list.