Re: Removing a pull...

2012-08-03 Thread Era Scarecrow
On Thursday, 2 August 2012 at 11:26:42 UTC, David Nadlinger wrote: Hm? You can just close pull requests (button at the bottom of the Page), and reopen them later. So I've removed the pull, but the auto tester is still pulling both code sources, so it's failing automatically because of it. Do

Re: Removing a pull...

2012-08-02 Thread Era Scarecrow
On Thursday, 2 August 2012 at 11:26:42 UTC, David Nadlinger wrote: On Thursday, 2 August 2012 at 11:11:58 UTC, Era Scarecrow wrote: How do I remove one of the pulls so I can concentrate on the one set of features and continue the others later? Hm? You can just close pull requests (button at th

Re: Removing a pull...

2012-08-02 Thread David Nadlinger
On Thursday, 2 August 2012 at 11:11:58 UTC, Era Scarecrow wrote: How do I remove one of the pulls so I can concentrate on the one set of features and continue the others later? Hm? You can just close pull requests (button at the bottom of the page), and reopen them later. David