On Friday, January 12, 2018 at 10:16:12 AM UTC+1, Jeroen Demeyer wrote: > > On 2018-01-11 10:58, Ralf Stephan wrote: > > I don't understand. What case exacty cannot be handled in your opinion? > > Just the usual problem with "git merge" that you get conflicts if two > different commits change the same code. >
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. -- 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.
