On 6/13/2016 4:29 AM, Jacob Carlborg wrote: > On 2016-06-13 10:33, Walter Bright wrote: > >> No, have to do that manually. > > I'm pretty sure I've seen something that looks automated. Could that be for when > a PR is merged? When it's merged, it auto-resolves the issue and posts the commit message.