Re: gitweb is no longer a real-time view

On Mon, Mar 4, 2013 at 4:48 PM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> Magnus Hagander <magnus@hagander.net> writes:
>> Ok, both repos *should* now be where they are supposed to be, per this
>> discussion.
>
> Being a paranoid sort, I'm doing a full new "git clone" to compare
> to my old repo.  But assuming that that's okay, what instructions
> do you want to give committers about recovering?  There should be
> a followup with that info to the pgsql-hackers message you posted.

Yes, please do that comparison. Alvaro looked it over and found things
to look right, but one more paranoid check would be very good.

On my local clone it "just worked". The pull went through in non-force
mode. So all that would be needed was a normal rebase.

But I didn't have any active development branch against gitmaster -
only against the anonymous one... So I'm not sure if others might run
into issues with it.


> The other todo item was updating the wiki's instructions for committers.

Yeah, someone who actually knows those parts well should do that - I
just use a separate repository and manual pull myself, so I don't know
enough to do the instrucitons I think.

-- Magnus HaganderMe: http://www.hagander.net/Work: http://www.redpill-linpro.com/