Post date: Sep 03, 2016 2:15:9 AM
I renamed the Github repository. I wasn't able to do this from the Pi, so I waited until I was at a Windows computer. There are a couple of things I can't do from a web interface on the Pi - rename a repository, and delete it.
I should really investigate if these things can be done from the command line client. That seems to work all the time.