delete remote branch
Geoffrey Mainland
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 :-)
>
> hth,
> hvr
Great, many thanks!
Geoff
More information about the ghc-devs
mailing list