On 2015-04-15 23:28, 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...
Just FYI: that's essentially what I did. My script kept a file with md5sums of the patches (remember those?) which were tested on the buildbot. When the time came to actually close tickets, the md5sums of the patches on the ticket were compared to the stored md5sums. A mismatch would be an error.
Jeroen. -- 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.
