Re: Changing Heads.
unless you get everyone to delete the old head from their heads directory, and then re-run toriupdate. Don't think that will happen though ;)
Hampa, maybe some sort of timestamp should be checked on toriupdate to see if the head is out-of-date. Maybe check the last-modified date.