git-tag: add page; git-push: add example of pushing tags

[igorshubovych]

No description provided.

[waldyrious]

I suppose any push operation could be considered "publishing". I'd suggest either using the term in all the descriptions or in none, otherwise it seems as if this does something different.

[igorshubovych]

It is called "publish" everywhere except places where git push removes remote branch.
Could you be more specific on what you think it should be?

[waldyrious]

I meant all the examples in this page should use the same terminology to avoid confusion. So in this case, either use the "publish" term in the other examples as well, or not use it in the tags example.

[igorshubovych]

I did not write "remove" examples. It was done in other PRs by others.

I just added the one related to tags. If we need to fix those examples somebody should create new PR. Again I will probably be against it, because I often google on how to remove remote branch, I always remember that it is git push, but do not remember the exact syntax.

[leostera]

Unfortunately tags are very mutable.

http://stackoverflow.com/questions/8044583/how-can-i-move-a-tag-on-a-git-branch-to-a-different-commit

Otherwise 👍

[waldyrious]

@Ostera huh, TIL. How would you describe tags equally succinctly, then?