make repo names case sensitive, closes #1