Jenna Magius is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
It sucks that Issues and PRs are different things on github, actually. They should just be the one thing.
