On Thu, Jan 27, 2011 at 18:19, Robert Haas <robertmhaas@gmail.com> wrote:
> On Thu, Jan 27, 2011 at 11:52 AM, 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?
>
> So if someone does this (which does not look at all likely to me):
>
> git push origin :REL9_0_STABLE
> git branch -r -D origin/REL9_0_STABLE
> git branch -d REL9_0_STABLE
>
> ...then, yes, they will need to find someone who has run 'git pull'
> since the last change that was made to that branch. OR they could get
> it back from the anonymous mirror of the canonical repository, which
> should always be up to date, OR I think there's an automatically
> updated mirror on github also.
There is.
Shouldn't we also be able to construct it from the latest mail to
pgsql-committers, since it has the sha1 hash in it..
--
Magnus Hagander
Me: http://www.hagander.net/
Work: http://www.redpill-linpro.com/
