0
Declined

Visually differentiate local vs. pushed Tags

Sync 3 years ago updated by Marc Strapetz 2 years ago 6

Vote for: Topic 908


From the log, I am not able to determine whether a Tag is local-only, or has been pushed to Remote as well.


Suggestion:

Local-only tags = translucent background

Pushed tags = solid background (as it is today)

Declined

There is no way to determine from the locally available information whether a tag is local only or exists in a remote as well.

Is not possible check on remote git which tags exists then compare with local ones?

This could take some time and the refresh performance would become worse.

http://stackoverflow.com/a/11308300/977819

I would assume just:

  1. Call "git show-ref --tags | grep -v -F "$(git ls-remote --tags <remote name> | grep -v '\^{}' | cut -f 2)""
  2. If a Tag of interest is listed, then it's local only.
  3. Display the Tag differently.

This is no purely local operation and hence would take a significant time.

This entire topic may be related to the way you use tags: for instance, we are pushing tags immediately on creation, because we consider tags to be server-side always and don't have "local tags". Anything which is local will be a branch.