This raises an interesting point: given that git has been dragging its feet for so long on the transition to SHA-256, it's better if they were to drag their fee

This raises an interesting point: given that git has been dragging its feet for so long on the transition to SHA-256, it's better if they were to drag their feet a bit longer and move directly to SHA3-256 too, and never let the current SHA-256 implementation get widely deployed.