Am 10.11.2016 um 00:31 schrieb Ian Jackson: > I am proposing to set this configuration setting automatically in > dgit. Other tools that work with particular git tags would do the > same. There would be no need for users to do anything. > > Having this as an option in a menu would be quite wrong, because it > would end up with the user and the tooling fighting. This is why I > don't want to put this in gitk's existing config file mechanism. Having this conversation watched for a while I get the impression that your point is essentially about introducing another type of references, next to branches and (ordinary) tags. Let's call them "interesting tags", "itags". The logical path to get this, IMHO, isn't to add some configuration variable, but to store such interesting tags in .git/refs/itags/, just like the other reference types. Then one would create such interesting tags with git tag -i <name> or git tag --interesting <name> To reduce the backwards compatibility problem these itags could be stored in .git/refs/tags as well, itag-aware tools would sort the duplicates out. Markus -- - - - - - - - - - - - - - - - - - - - Dipl. Ing. (FH) Markus Hitter http://www.jump-ing.de/