Manually fixed repository file errors.

My local repository did not want to sync to github. I had to delete
everything in the repository, and copy back in for it to work again.