Fix wrong GitHub repo.