Migrating Git repos to SHA-256