github

Today I needed to migrate a GitHub wiki from one repo to another. Looking through the GitHub docs didn’t help that much. Lot’s of things about transferring the whole repo to someone else, but not just the wiki part. In the end it turned out to be actually pretty easy, but there are two key […]