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 <br...@momjian.us> http://momjian.us EnterpriseDB http://enterprisedb.com + It's impossible for everything to be true. + -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
