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/).