[temac]

It usually better to migrate git repositories with git clone --mirror than attempting to not forget refs with ad-hoc commands. For simple repositories their methods will probably work anyway, but it is still harder to do.