On 5/22/2019 4:37 PM, Joshua Root wrote:
Discussion on IRC indicates it was done from the GitHub web UI.
My impression is they were using GitHub desktop (https://desktop.github.com/).
- URGENT -- massive merge commit on macports/macports-por... Ken Cunningham
- Re: URGENT -- massive merge commit on macports/mac... Christopher Jones
- Re: URGENT -- massive merge commit on macports... Ken Cunningham
- Re: URGENT -- massive merge commit on macports... Rainer Müller
- Re: URGENT -- massive merge commit on macp... Joshua Root
- Re: URGENT -- massive merge commit on ... Jann Röder
- Re: URGENT -- massive merge commi... Chris Jones
- Re: URGENT -- massive merge c... Ryan Schmidt
- Re: URGENT -- massive mer... Chris Jones
- Re: URGENT -- massive merge commit on ... Christopher Chavez
