convert to SHA1, mostly in preparation for some branching experiments and swapping between 2010 and 2013.