On Thu, Jan 27, 2011 at 17:52, Bruce Momjian <br...@momjian.us> wrote: > Robert Haas wrote: >> On Thu, Jan 27, 2011 at 11:41 AM, Bruce Momjian <br...@momjian.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 >> about. > > 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?
Correct. And *somebody* made the last commit on it, and that somebody hopefully still has the branch around - and you can find out who that is by looking at the committers email. No that's not a streamlined procedure, but it's hopefully ont something that will happen *often* at least :-) -- Magnus Hagander Me: http://www.hagander.net/ Work: http://www.redpill-linpro.com/ -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers