message no. 167980
Posted by c3l in #github at 2017-04-29T11:18:24Z
Someone made a pull request and I want to modify some things, and change the commit message. I can pull it, --amend my changes and then push. But then the PR wont be tagged as 'Merged'. How to deal with this?