fixed making repo names filter case insensitive