warning: HEAD may be broken for a while

[Abhijit Menon-Sen]

This is just a notice that we're going to land some major changes soon,
and that git HEAD may be broken for a while. I'll write again when it's
safe to test.

-- ams