groovy-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Balachandran Sivakumar <balachand...@balachandran.org>
Subject Re: closing pull requests without merge
Date Fri, 01 Jul 2016 04:35:33 GMT
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
Mime
View raw message