groovy-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Jochen Theodorou <>
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 <> 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

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

View raw message