#capjamesgI don't think the names make sense here.
#angeloit's kind of nice to have it all packed tightly in one place for glancing
#[snarfed]the repo is on github, issues and PRs are on github, it's a github project. if we decide at some point in the future to move it, sure, ok, but right now it's there. I wouldn't bother trying to "abstract" it yet
#[snarfed](I have no opinion on whether to @-mention contributors though, up to you all)
#gRegorThere's contributors.md, could put github @-names in there in addition to the URLs. Generally agreed though, don't need to abstract it much
#angeloit occupies an interesting space whereby it isn't an @-mention in a post on your own site, it isn't an @-mention in an issue on GitHub.. both shorthands can be fixed during POSSE/backfeed given the GH context.
#[snarfed]the indieweb answer is to use their names and link to their homepages with h-card
#[snarfed](esp since .md files don't get github-specific markdown extras applied, ie don't auto-link @-mentions or issue #s or commits etc)
#angeloactually the PRs are auto-shortened in the rendering of that README just as they are in issues (just the number shows, not the full URL)