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.
The other todo item was updating the wiki's instructions for committers.
regards, tom lane