'Merge pull request #6685610 from jingweno/merge

Implements `gh merge`'