Martijn van Oosterhout wrote:
-- Start of PGP signed section.
> On Wed, Jan 26, 2011 at 11:26:04AM -0500, Bruce Momjian wrote:
> > For those of you using git, I wanted to point out that it is fairly easy
> > to remove git branches. For example, I can easily remove a branch on
> > my github repository using:
> >
> > $ git branch -d :branch_name
> >
> > I don't believe that is revertable. What is scarey is that this could
> > be done on our 'origin' as well.
>
> Note: -d only works if the branch is considered "fully merged". You
> need -D to override that check.
Right, but if I had done 'git merge origin', I could use -d, right?
> Also, it is revertable, sort of. If you know the commit ID it was, you
> can:
>
> $ git checkout <commit-id>
> $ git branch <branchname>
> $ git checkout <branchname>
Oh, so the commit-id identifies the branch too.
> This will work as long as "git gc" hasn't been run since the delete. If
> it's referenced from somewhere else then it will work even after
> garbage collection.
OK. What happens if :master is deleted? (I don't want to try it, even
on my github).
-- Bruce Momjian <bruce@momjian.us> http://momjian.us EnterpriseDB
http://enterprisedb.com
+ It's impossible for everything to be true. +