On Tue, Mar 24, 2015 at 11:36:02PM +0100, Bram Moolenaar wrote: > > I do have the tags in my local git repository. Do they not get pushed > to the repository with "git push" ?
No, one always has to use 'git push && git push --tags'.
It's one of the biggest warts of Git IMHO.
(This being git there are of course a myriad of other options, like
'git push origin HEAD --tags' to push both the current branch and all the
tags, or 'git push --follow-tags', which only pushes reachable
_annotated_ tags created with 'git tag -a', but doesn't push regular
lightweight tags created with 'git tag'.)
(For the record, I still prefer Git to Mercurial and am very happy with
the decision to migrate to GitHub.)
Marius Gedminas
--
It's not illegal to disagree with my opinions (*).
[...]
(*) Although it obviously _should_ be. Mwhaahahahahaaa... You unbelievers
will all be shot when the revolution comes!
-- Linus Torvalds
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
signature.asc
Description: Digital signature
