It is totally fixed this time

Git hub doesn't like it when names are changed, or when you change code
when you are not in the repository.