On 01.07.2016 06:35, Balachandran Sivakumar wrote:
Hi Jochen,
On 1 Jul 2016 02:07, Jochen Theodorou <blackd...@gmx.org> wrote:
no other way to close a pull request... for example one I want not to
merge? Making dummy commits to
If this is about pull request #124 as well, I'll close it myself today
ASAP and send in a new one as per the comments on that PR :-). Thanks
It was mainly after I did
https://github.com/apache/groovy/commit/a8a05ed4e003301680b5e98c6c96cffa6147f9fc
I find it stupid to do things in this manner... I am wondering if github
is going to pickup the "closes" if there is a commit to the pullrequest
branch itself.
bye Jochen
