On 2018-01-12 14:48, Ralf Stephan wrote:
If you wanted to merge branch X into such a ticket you would just apply the script on top of branch X. That was the point of the idea.
I get that, but it doesn't solve merge conflicts with other tickets. -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
