delete remote branch

[Nicolas Frisby]

Thanks Herbert.

Whom should I email you again when I'm ready to delete my other branches?
You? Austin?


On Sun, Sep 8, 2013 at 3:43 AM, Herbert Valerio Riedel <hvr at gnu.org> wrote:

> Hello Nicolas,
>
> On 2013-09-08 at 09:41:04 +0200, Nicolas Frisby wrote:
> > I just merged in my -fdicts-strict work, so I was deleting the old
> branch…
> > but it's rejected for some reason.
> >
> > $ git push origin --delete dicts-strict
> > remote: performing tab-check...
> > remote: + refs/heads/dicts-strict ghc <my-username> DENIED by fallthru
> > remote: error: hook declined to update refs/heads/dicts-strict
> > To ssh://git@git.haskell.org/ghc.git
> >  ! [remote rejected] dicts-strict (hook declined)
> > error: failed to push some refs to 'ssh://git@git.haskell.org/ghc.git'
> >
> > Git gurus chime in? Thanks.
>
> The current configuration doesn't permit risky operations, such as
> deleting branches and/or non-forward-updates (imagine someone would
> delete or rebase branches such as 'master' or 'ghc-7.6'). Moreover,
> having commits disappear causes headaches with other facilities
> (e.g. git submodules).
>
> Moreover, it was planned to define a Git ref namespace, where those
> operations would be allowed to everybody, something like 'wip/*' (see
> [1] for an example). Those branches could then also be made to be
> ignored by the Git email notifier, so that rebasing commits doesn't spam
> the Git commits mailing list.
>
> In the long-term, we should avoid cluttering the top-level branch
> namespace[2] with topic branches, and move to a more structured naming
> scheme, which leaves the top-level namespace to release branches.
>
> Long story short, I've deleted the 'dicts-strict' branch for you
>
> Cheers,
>   hvr
>
>  [1]: https://git.gnome.org/browse/glib/
>  [2]: http://git.haskell.org/?p=ghc.git;a=heads
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130910/73740448/attachment.htm>