Came to say something exactly like this... The old sha1 handle needs to be still available in the same way an HTTP 301 redirect would work.

... do not migrate old repos? I'm not sure why people would do that. Or, if they do, why would they replace the current repo name instead of creating a different one and keeping the old one closed to make the references work.

I don't think this is going to be a problem at all.