On 11/17/2016 03:10 PM, Gael Varoquaux wrote: > Can the squash and merge button of github actually deal with this? > It's not obvious to me that it is even possible. Yeah I was wondering about that, but it totally works.