Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Closed
gitblit opened this issue Aug 12, 2015 · 3 comments
Closed

Comments

@gitblit
Copy link
Owner

gitblit commented Aug 12, 2015

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 gitblit self-assigned this Aug 12, 2015
@gitblit
Copy link
Owner Author

gitblit commented Aug 12, 2015

Seems reasonable; I'll give this some thought.

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

@gitblit
Copy link
Owner Author

gitblit commented Aug 12, 2015

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
Copy link
Owner Author

gitblit commented Aug 12, 2015

1.6.0 released.

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

  • Status changed: Done

@gitblit gitblit closed this as completed Aug 12, 2015
@flaix flaix modified the milestone: 1.6.0 Dec 13, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants