Robert Haas wrote: > On Wed, Jan 26, 2011 at 11:49 AM, Bruce Momjian <br...@momjian.us> wrote: > > Robert Haas wrote: > >> On Wed, Jan 26, 2011 at 11:26 AM, Bruce Momjian <br...@momjian.us> 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. > >> > >> The colon in that syntax is flat wrong. ?But branch deletes won't > > > > Sorry, I was wrong. ?The syntax is: > > > > ? ? ? ?pggit push github :branch_name > > > > which is even easier to mistype. > > Yeah, true. It's good to avoid inserting a spurious colon there. > Fortunately, that only removes it from the *remote* side, so in the > event that you want to put it back, you can just rerun the command > without the colon.
I would love to know who thought that magic colon was a good idea? Is its use even logical there? -- 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