Robert Haas wrote:
> On Thu, Jan 27, 2011 at 11:41 AM, Bruce Momjian <bruce(at)momjian(dot)us> wrote:
> >> Or for that we could just disable branch creation *completely*, and
> >> then turn off that restriction that one time / year that we actually
> >> create a branch?
> > Well, branch creation can always be undone --- branch removal seems like
> > the big problem because it can't.
> As I've repeatedly said, branch removal CAN be undone. I don't see
> any evidence that we have an actual problem here that needs worrying
OK, someone removes a branch. If it is still in his local tree, he can
push it back. If not, he has to go around and find someone who does
have it, and who has the most recent copy? Can master be removed too?
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: Tom Lane||Date: 2011-01-27 17:06:26|
|Subject: Re: Caution when removing git branches |
|Previous:||From: Robert Haas||Date: 2011-01-27 16:44:46|
|Subject: Re: Caution when removing git branches|