On Wednesday, April 15, 2015 at 11:28:37 PM UTC+2, Daniel Krenn wrote: > > If there is a script for closing tickets, it could be extended to check > if the status is still positive_review and if the current branch on the > ticket was already (really) merged into develop... >
Feel free to send a PR to https://github.com/sagemath/git-trac-command Even then, the correct workflow is to not change tickets after setting them to positive review. Having the release manager chase after branches as people keep adding stuff after review is not a sustainable workflow. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
