change GitHub repo name

to reflect GitHub policy that repo names cannot end in Git.