GL's desktop was rebuilt, and the huge TCCD git repo was copied over. However, it had been checked out using git://, and somehow it knew that the old desktop had SSH keys configured on GitHub, so we had to generate new keys (GL couldn't remember the pw for the old keys), add them to ssh-agent, and add the public key to GitHub (the key must be for the email address by which GitHub knows you). Then pulls and pushes would work. All this is quicker than checking out that repo again, of course.