2023-12-07 UTC
# 00:25 angelo them being github-specific feels wrong in a git repo, right?
# 00:27 angelo and even though the issue is totally github-specific it's a URL and that feels less wrong
# 00:31 angelo it's kind of nice to have it all packed tightly in one place for glancing
# 00:33 [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
# 00:34 [snarfed] (I have no opinion on whether to @-mention contributors though, up to you all)
# 00:38 gRegor There's contributors.md, could put github @-names in there in addition to the URLs. Generally agreed though, don't need to abstract it much
# 00:42 angelo it 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.
# 00:44 [snarfed] the indieweb answer is to use their names and link to their homepages with h-card
# 00:45 [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)
# 00:57 angelo actually 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)
# 01:25 angelo of course the git log uses our e-mail addresses which aren't always our indieweb primary domains
geoffo joined the channel
# 02:11 [snarfed] oh surprising! they didn't a while back, glad they added that
barnaby, [0x3b0b], oenone, CRISPR, geoffo, AramZS, [tantek], gRegor, [schmarty], [aciccarello], nsmsn, [Joe_Crawford], [capjamesg] and win0err joined the channel