Made github_name and github_repo only unique as a couple. Fixes Issue 802