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

[Matt Birkholz]

> From: address@hidden (Matt Birkholz)
> Date: Fri, 21 Aug 2009 13:40:42 -0700
> 
> [...]
> I believe I have fixed the lagging HEAD ref on git.sv.gnu.org.

I probably should have REMOVED it.  master is our HEAD, no?

If more people pull origin HEAD into their local HEAD, I am going to
shoot it... you know where. :-}