URGENT -- massive merge commit on macports/macports-ports

[Chris Jones]

On 22/05/2019 10:41 pm, Jann Röder wrote:
> On 22/05/2019 at 22:37 Joshua Root wrote:
>>
>> Discussion on IRC indicates it was done from the GitHub web UI.
>>
> 
> The github app. I don't think you can even rebase in that.

If that is indeed the case (although it would seem strange to me to not 
have such a commonly used feature), then we should recommend not using 
it, certainly for MacPorts related work.

Chris