retitle 636228 "git log --all" includes boring refs like refs/notes/* reassign 636228 git 1:1.7.5.4-1 quit
Hi Martin, martin f krafft wrote: > Git notes are managed in a separate DAG in the same repo. I would be > tempted to argue that noone really cares about this implementation > detail, especially not if you can manage Git notes via gitk's > interface. Does "gitk --branches --tags --remotes" do the trick? If not, what do you think a good UI would look like? (Example: a new option used like "gitk --all --exclude=notes", with a configuration variable "[log] excluderef" to determine a default set of excluded refs. Probably needs some tweak to prevent confusion when commands like "gitk <name of a notes ref>" or "gitk --glob=refs/notes/*" show nothing.) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
