github: Ignore case when finding username mappings.