CI: Add workaround for github uppercase usernames