Rename repo name in github

gistfile1.txt

* Use Admin page for repo, then

$ git remote rm origin
$ git remote -v  # should be no output
$ git remote add origin git@github.com:username/newreponame.git
$ git remote -v  # to verify new origin
$ git status  # verify everything looks good

Then, rename your local directory containing your repo