Le 23/09/2010 22:47, Magnus Hagander a écrit : > On Thu, Sep 23, 2010 at 22:20, Guillaume Lelarge <[email protected]> > wrote: >> Le 23/09/2010 22:12, [email protected] 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 -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
