Re: [MIT-Scheme-devel] git pull is failing again

[Chris Hanson]

Sure, if you want to, go ahead.

On Wed, Aug 19, 2009 at 4:04 PM, Matt
Birkholz<address@hidden> wrote:
>> From: Chris Hanson <address@hidden>
>> Date: Wed, 19 Aug 2009 15:13:00 -0700
>>
>> Mea culpa.  Despite the advice that it was a bad idea, I turned on the
>> "ident" feature.  Later, I turned it off again.  No big surprise that
>> this feature causes trouble.
>
> I thought we were almost there.  We just needed a few more "$Id:
> mumble $" tags replaced by "$Id$".  Commit 8acc2b03 seems to have gone
> the other way, replacing them all with hashes from... the commit
> before (4d98a2ff)?
>
> Whither the $Id$ tags?
>
> I would have left them alone as a historical artifact of an obselete
> revision system, but now they are all... random.  I think they should
> be quietly exterminated.
>
> If the tags looked like
>
>        $Id: screen.scm 2008/01/30 20:02:05 cph $
>
> they might be useful, but this
>
>        $Id: bba23e8471f3700cade600dfa70919d7f9709c7e $
>
> leaves me cold.
>
> Shall I take them all out?
>