Daniel Kahn Gillmor <[email protected]> writes: > I don't personally have any use case for doing such a tag rename -- you > mention two: > > a) wanting to call tag "foo" that you found on remote "origin" by the > name of "origin/foo" > > b) wanting to call "v2.20.0" by the name "g2.20.0"
For the record, in the latter there is no "wanting to call". It was merely a set-up used to illustrate what support there already exists in the current system that helps making users aware of tags that are not stored in there "natural" place. The former however is a natural consequence of noises people make around here from time to time, wanting to have tags you grab from elsewhere and tags you create locally in separate places.
