Robert Haas wrote:
> On Wed, Jan 26, 2011 at 11:49 AM, Bruce Momjian <bruce@momjian.us> wrote:
> > Robert Haas wrote:
> >> On Wed, Jan 26, 2011 at 11:26 AM, Bruce Momjian <bruce@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 <bruce@momjian.us> http://momjian.us EnterpriseDB
http://enterprisedb.com
+ It's impossible for everything to be true. +
