latest 3 messages by c3l
+
[2017-04-29T11:18:24Z]
c3l
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?
+
[2017-04-29T10:08:43Z]
c3l
How do I mark a pull request 'merged' if I merge manually from the command line?
+
[2016-08-06T22:28:03Z]
c3l
I got a pull request to my repo. I want to make a change on top of the commit in the pull request (not yet merging). How do I do this?