Migrate related documents to GitHub.