groovy-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Jochen Theodorou <blackd...@gmx.org>
Subject Re: closing pull requests without merge
Date Sat, 02 Jul 2016 08:22:44 GMT
On 01.07.2016 06:35, Balachandran Sivakumar wrote:
> Hi Jochen,
>
> On 1 Jul 2016 02:07, Jochen Theodorou <blackdrag@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


Mime
View raw message