Re: pgAdmin III commit: Branch refs/heads/mybugfixwork was created

Le 23/09/2010 22:47, Magnus Hagander a écrit :
> On Thu, Sep 23, 2010 at 22:20, Guillaume Lelarge <guillaume@lelarge.info> wrote:
>> Le 23/09/2010 22:12, git@pgadmin.org a écrit :
> [...]
>> the repo. I just pushed a branch there. I deleted it, so I don't think
>> it's really that bad. Magnus, any idea on this? a "git push origin
>> :mybugfixwork" should be enough, right? /me hopes no one had the time to
>> grab it.
>
> Yeah, that should be enough. If somebody has cloned it meanwhile,
> they'll just have to undo it themselves. For example, I just removed
> it from the github mirror ;)
>

It's still there on github. How did you remove it?


--
Guillaume
 http://www.postgresql.fr
 http://dalibo.com