On Thu, Aug 31, 2017 at 11:58:20PM +0200, Andreas Tille wrote:
…
> 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.
Then I have no idea why it's not working.
Here it does exactly what it's supposed to do. See for example this
(it's a personal repo, so the repo name is concelead):
% git push
Counting objects: 10, done.
Delta compression using up to 4 threads.
Compressing objects: 100% (10/10), done.
Writing objects: 100% (10/10), 4.46 KiB | 4.46 MiB/s, done.
Total 10 (delta 4), reused 0 (delta 0)
To XXXXXXXXXXXX:XXXXXXXXX/XXXXXXXXXXX.git
ac0387b..541409a master -> master
* [new tag] 2017-06 -> 2017-06
%
Sorry I can't help more, but I really don't know more :)
--
regards,
Mattia Rizzolo
GPG Key: 66AE 2B4A FCCF 3F52 DA18 4D18 4B04 3FCD B944 4540 .''`.
more about me: https://mapreri.org : :' :
Launchpad user: https://launchpad.net/~mapreri `. `'`
Debian QA page: https://qa.debian.org/developer.php?login=mattia `-
Attachment:
signature.asc
Description: PGP signature