Google breaks SHA-1 web crypto for good but Torvalds plays down impact on Git