https://herwinz.github.io/posts/migrating-repos-to-github/