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.
