Feature request: separate namespace for remote tags
From: Avi Kivity <hidden>
Date: 2016-06-15 22:48:19
Currently, 'git remote add foo ...' will allocate a separate namespace for foo branches (refs/remotes/foo/*) but will store foo tags in the main tag namespace (refs/tags/*). This leads to several problems: - the main tag namespace becomes polluted with zillions of tags - if the tags from a remote conflict with a local (or perhaps another remote) tag, information is lost - 'git remote rm' will not delete the remote tags, and so 'git gc' will not recover much of the space used by the remote A workaround is to use tagopt = --no-tags and a separate fetch line in the remote configuration, but that is clumsy and error prone (a common error being to remember doing that only after the first fetch). I'd like to request that remote tags be placed into a separate namespace (refs/remote-tags/foo/*?) that can be managed by 'git remote' subcommands. My suggestion is: - 'git clone' and subsequent fetches would continue to place tags in the global namespace (unless overridden by a switch) - 'git remote add', if a switch of config flag is present, will place tags in a remote namespace; after a while the config flag can default to true - 'git describe' will prefer local tags to remote tags - the various commands which look at tags will be enhanced to consider remote tag namespaces - possibly ignore remote tags which have the same name and value as existing local tags (so we don't have identical v1.7.0 and foo/v1.7.0) Thoughts? -- error compiling committee.c: too many arguments to function