@irene If someone wants to anonymize their PRs, they can use
GitMask (github.com/AnalogJ/gitmask)