On 3/25/2015 12:12 AM, Marius Gedminas wrote:
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,
I recently saw this: (to add some humor to your day)
...on twitter, "generates a random man page for a made-up
git command... more or less indistinguishable from the official docs"
http://git-man-page-generator.lokaltog.net/
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
--
--
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.
