[sane-devel] unintentionally pushed a private branch

[Albert ARIBAUD]

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!

> Thanks and sorry for the hassle,
> Nils

Amicalement,
-- 
Albert.