On 06/11/2013 17:02, Nils Philippsen wrote:
> 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.
>
> Thanks and sorry for the hassle,
> Nils
Hello,
I haven't read this mail, but I have just answered the mail you
sent me about them. The patches are OK, so no need to roll back them if
they are already in master.
Regards,
Stef
