<div dir="ltr">Thanks Herbert.<div><br></div><div>Whom should I email you again when I'm ready to delete my other branches? You? Austin?<br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Sep 8, 2013 at 3:43 AM, Herbert Valerio Riedel <span dir="ltr"><<a href="mailto:hvr@gnu.org" target="_blank">hvr@gnu.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello Nicolas,<br>
<div><div class="h5"><br>
On 2013-09-08 at 09:41:04 +0200, Nicolas Frisby wrote:<br>
> I just merged in my -fdicts-strict work, so I was deleting the old branch…<br>
> but it's rejected for some reason.<br>
><br>
> $ git push origin --delete dicts-strict<br>
> remote: performing tab-check...<br>
> remote: + refs/heads/dicts-strict ghc <my-username> DENIED by fallthru<br>
> remote: error: hook declined to update refs/heads/dicts-strict<br>
> To ssh://<a href="http://git@git.haskell.org/ghc.git" target="_blank">git@git.haskell.org/ghc.git</a><br>
> ! [remote rejected] dicts-strict (hook declined)<br>
> error: failed to push some refs to 'ssh://<a href="http://git@git.haskell.org/ghc.git" target="_blank">git@git.haskell.org/ghc.git</a>'<br>
><br>
> Git gurus chime in? Thanks.<br>
<br>
</div></div>The current configuration doesn't permit risky operations, such as<br>
deleting branches and/or non-forward-updates (imagine someone would<br>
delete or rebase branches such as 'master' or 'ghc-7.6'). Moreover,<br>
having commits disappear causes headaches with other facilities<br>
(e.g. git submodules).<br>
<br>
Moreover, it was planned to define a Git ref namespace, where those<br>
operations would be allowed to everybody, something like 'wip/*' (see<br>
[1] for an example). Those branches could then also be made to be<br>
ignored by the Git email notifier, so that rebasing commits doesn't spam<br>
the Git commits mailing list.<br>
<br>
In the long-term, we should avoid cluttering the top-level branch<br>
namespace[2] with topic branches, and move to a more structured naming<br>
scheme, which leaves the top-level namespace to release branches.<br>
<br>
Long story short, I've deleted the 'dicts-strict' branch for you<br>
<br>
Cheers,<br>
hvr<br>
<br>
[1]: <a href="https://git.gnome.org/browse/glib/" target="_blank">https://git.gnome.org/browse/glib/</a><br>
[2]: <a href="http://git.haskell.org/?p=ghc.git;a=heads" target="_blank">http://git.haskell.org/?p=ghc.git;a=heads</a><br>
</blockquote></div><br></div>