Somebody claimed Peter's old GitHub username, and now his mentions link to an unrelated person #42
Description
Dear @BWpanda,
may we have your attention for a moment, please?
Your username on GitHub is cool, but unfortunately, it's the username of a former member of the Backdrop CMS community - he used to be very active, but deleted his account here a while ago. GitHub's UI now happily links the old mentions of him to your new account. And that's totally confusing.
This issue's an attempt to contact you - we didn't find any other way.
If you're around and interested to help getting out of this odd situation, please chime in. We'd be happy to discuss possible solutions.