github_merge: use new github repo