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

[Matt Birkholz]

> 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?