verify the case of name locally and on github
Merge branch 'master' into verify-case-early
clean up