[sane-devel] unintentionally pushed a private branch

[Stef]

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