Robert Haas wrote:
> On Wed, Jan 26, 2011 at 11:49 AM, Bruce Momjian <bruce(at)momjian(dot)us> wrote:
> > Robert Haas wrote:
> >> On Wed, Jan 26, 2011 at 11:26 AM, Bruce Momjian <bruce(at)momjian(dot)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(at)momjian(dot)us> http://momjian.us
+ It's impossible for everything to be true. +
In response to
pgsql-hackers by date
|Next:||From: Kevin Grittner||Date: 2011-01-26 17:07:18|
|Subject: Re: SSI patch version 14|
|Previous:||From: Robert Haas||Date: 2011-01-26 17:02:36|
|Subject: Re: Caution when removing git branches|