Closed gmarkall closed 10 years ago
What were you testing there?
I was checking that Github still closes a PR if you do a fast-forward merge of the branch and then push to master - and it does :-)
That's good to know :)
Yeah - I had just told someone it did that, so I thought I better check. :-)
This is a test.