Fix bug: Cannot add github repos which have upper case in name