2009/11/16 Peter Eisentraut <peter_e@gmx.net>:
> On mån, 2009-11-16 at 10:05 -0500, Tom Lane wrote:
>> Heikki Linnakangas <heikki.linnakangas@enterprisedb.com> writes:
>> > Magnus Hagander wrote:
>> >> On Mon, Nov 16, 2009 at 08:29, David Fetter <david@fetter.org> wrote:
>> >>> On Mon, Nov 16, 2009 at 06:56:54AM +0200, Peter Eisentraut wrote:
>> >>>> Yeah, sorry guys. I fixed the CVS log message now.
>>
>> >> So it's not only not strange, I'm very happy it didn't pull those
>> >> changes and broke my repository :-)
>>
>> > Yeah, I'm glad it didn't do anything funny with the mirror.
>>
>> I think we should have a policy of NO manual changes to the CVS
>> repository files. At least not without careful discussion beforehand.
>
> I used cvs admin.
I've cleaned up the git repo, and re-enabled the mirror script. From
what I can tell it works fine. In theory you will need to use force
mode if you pulled the broken commit that was removed (the one with
the wrong message), but it seems this is not necessarily required.
As for the future, please avoid doing any "cvs admin" activity if
possible, and if it's done let's specifically coordinate with the git
mirror script, to make sure things work smoothly.
--
Magnus Hagander
Me: http://www.hagander.net/
Work: http://www.redpill-linpro.com/
