[sane-devel] unintentionally pushed a private branch

[Nils Philippsen]

On Wed, 2013-11-06 at 17:38 +0100, Albert ARIBAUD wrote:
> Le 06/11/2013 17:02, Nils Philippsen a écrit :
> > Hi,
> >
> > I just pushed a private branch ("master--genesys-cleanup" -- needs
> > review before this goes into master) to the git repository instead of my
> > clone on github. Whom do I need to contact to get this deleted again?
> > Right now, the repository is configured so branches can't be deleted
> > remotely.
> 
> You can try:
> 
> 	git push <the-repo> :master--genesys-cleanup
> 
> The ':<branchname>' syntax means "delete branch on remote".
> 
> But be sure to push to the right branch!

I did try that, but deleting branches remotely is disabled:

nils at gibraltar:~/src/sane-backends (master)> git push origin :master--genesys-cleanup 
remote: *** Deleting a branch is not allowed in this repository
remote: error: hook declined to update refs/heads/master--genesys-cleanup
To ssh://nilsph-guest@git.debian.org/git/sane/sane-backends.git
 ! [remote rejected] master--genesys-cleanup (hook declined)
error: failed to push some refs to 'ssh://nilsph-guest@git.debian.org/git/sane/sane-backends.git'

Nils
-- 
Nils Philippsen / Wilhelmstraße 22 / D-71229 Leonberg 
nils at tiptoe.de / nils at redhat.com
PGP fingerprint:  C4A8 9474 5C4C ADE3 2B8F  656D 47D8 9B65 6951 3011
Ever noticed that common sense isn't really all that common?