The following paragraphs are mostly personal notes, so that I do not forget about these.
Migrating Things Between Git Repositories Recently I had to migrate parts of a git repository hosted on Bitbucket infrastructure over to other git repositories hosted on GitHub. I had to move whole folders as well as single files. One of the requirements was that I migrate things including their whole git history. So just copy and pasting things was out of question.