delete remote branch
mainland at apeiron.net
Thu Sep 12 12:38:51 UTC 2013
On 09/12/2013 04:40 AM, Herbert Valerio Riedel wrote:
> Hello Geoffrey,
> On 2013-09-11 at 22:29:04 +0200, Geoffrey Mainland wrote:
>> Is there any chance we could get the wip namespace up and running soon?
> Sure, I've enabled it right now (and we can change the "wip/"
> branch-prefix lateron should we come up with a better naming); there's
> only the problem that everytime you push a rebased commit, the email
> notification will be re-run, and the script will think the rebased
> commits are completely new; just take that into account when pushing a
> rebased commit :-)
Great, many thanks!
More information about the ghc-devs