Hardcode OAuth2 provider to GitHub to avoid issues on case-insensitive file systems