[github-auth-provider] Prefer pass list email over primary email #4237
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
When the deployment has a
blockNewUsersPassList
, with this change the GitHub auth provider chooses an email address that matches the passlist as Gitpod email address when such a verified email address is given in GitHub. Otherwise, it uses GitHub's default email address (as it was before).Internal discussion: https://gitpod.slack.com/archives/C01MLB7J24T/p1621343766002600?thread_ts=1619771446.079600&cid=C01MLB7J24T
Would make #4211 obsolete.