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.
