delete remote branch

[Nicolas Frisby]

Got it. Thank you, gentlemen.
On Sep 10, 2013 8:45 PM, "Austin Seipp" <aseipp at pobox.com> wrote:

> Nick, just keep the ActiveBranches[1] page on the wiki up to date. I
> plan on deleting all the dead branches (and sending out a warning
> beforehand) after the 7.8 release. We'll be doing other cleanups then
> too.
>
> On Tue, Sep 10, 2013 at 2:07 PM, Nicolas Frisby
> <nicolas.frisby at gmail.com> wrote:
> > 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
> >
> >
> >
> > _______________________________________________
> > ghc-devs mailing list
> > ghc-devs at haskell.org
> > http://www.haskell.org/mailman/listinfo/ghc-devs
> >
>
>
>
> --
> Regards,
> Austin - PGP: 4096R/0x91384671
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130910/38736cde/attachment.htm>