couple of things we do to get Issues and PRs under control for a hyperactive GitHub repo like https://t.co/mrRN91kdPi - https://t.co/IOmHNH6iFQ to sync github with linear - https://t.co/eU2J6WyBO9 to use GPT to auto-add labels (Bug, Feature, etc.) - bookmarks of "issues without... See more

"By building a peer-to-peer overlay on top of git, we find not only a performant solution, but one that is better adapted for code collaboration. Issues, comments and reviews become local artifacts that are cryptographically signed and interacted with offline."