New Merge Criteria for identities #969
Description
GitHub anonymizes email addresses in the gitlog and instead uses a fake email like [email protected].
When we have a GitHub identity georglink then I am comfortable merging it with the git identity [email protected].
This could be a new rule for automatic merges.