Re: please push mpi-defaults tags, etc
Hi Mattia,
On Thu, Aug 31, 2017 at 11:50:27PM +0200, Mattia Rizzolo wrote:
> On Thu, Aug 31, 2017 at 11:21:17PM +0200, Andreas Tille wrote:
> > I added this into my ~/.gitconfig but this did not pushed tags
> > automatically.
>
> mh, really? In gitconfig it should be something like
>
> ```
> [push]
> followTags = true
> ```
This is exactly what I did.
> the behaviour I'm seeing is: if you are pushing a branch "foo", and that
> branch "foo" contains a commit that is tagged, then that tag will also
> be pushed.
I did a git push on master but this did not pushed the tag I've set.
> Note that this option was added sometime around git 2.1.8 IIRC, so it's
> not available in jessie, but starting only from stretch.
$ git --version
git version 2.14.1
I'm running testing.
Kind regards
Andreas.
--
http://fam-tille.de
Reply to: