2 ms·
git is decentralized, but a bunch of the supporting infrastructure GitHub provides, like Issues and PRs, isn't. It would be neat if that stuff were tracked in a
by tlrobinson 11y ago
git is decentralized, but a bunch of the supporting infrastructure GitHub provides, like Issues and PRs, isn't. It would be neat if that stuff were tracked in a git repository as well.