Re: Caution when removing git branches
| От | Magnus Hagander |
|---|---|
| Тема | Re: Caution when removing git branches |
| Дата | |
| Msg-id | AANLkTikPx6_5TS3CooemxYx=_oiSVOYruFBM9iBVPQJ8@mail.gmail.com обсуждение исходный текст |
| Ответ на | Re: Caution when removing git branches (Bruce Momjian <bruce@momjian.us>) |
| Список | pgsql-hackers |
On Thu, Jan 27, 2011 at 17:52, Bruce Momjian <bruce@momjian.us> wrote: > Robert Haas wrote: >> On Thu, Jan 27, 2011 at 11:41 AM, Bruce Momjian <bruce@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/
В списке pgsql-hackers по дате отправления: