Didn't GitHub broke the entire CI system by switching to "main" branch :thinking_face:

Anyway, I think it'll be the same. Tools will support SHA-256 quickly and we might have a migration program that converts SHA-1 repo to SHA-256 repo.

The only problem is that git (and related tools) will get twice as big...