"enable incremental push tags" not working with server side ticket merges

[gitblit]

Originally reported on Google Code with ID 432

You can argue if this is really a bug - but if you want to use  a workflow where every
changes has to go through a ticket with approval and server side ticket merge, then
the "enable incremental push tags" feature does currently not work. Of course, the
server side merge is not a push, so technically it is correct that no push tag is created.
But it would be great if a push tag were created, because otherwise you can get no
incremental push tags at all.

Reported by Emmeran.Seehuber on 2014-05-21 15:34:52

[gitblit]

Seems reasonable; I'll give this some thought.

Reported by James.Moger on 2014-05-21 16:59:47

[gitblit]

This has been implemented on the develop branch and will be part of the 1.6.0 release.

Reported by James.Moger on 2014-05-23 13:23:02

• Status changed: Queued
• Labels added: Milestone-1.6.0

[gitblit]

1.6.0 released.

Reported by James.Moger on 2014-06-17 00:24:34

• Status changed: Done