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. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
