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. 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> 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. Have a nice day, -- Martijn van Oosterhout <klep...@svana.org> http://svana.org/kleptog/ > Patriotism is when love of your own people comes first; nationalism, > when hate for people other than your own comes first. > - Charles de Gaulle
signature.asc
Description: Digital signature
