#dev 2023-12-07

2023-12-07 UTC

[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