Post #1404685

@nasser @whitequark JMHO, this sounds like it ought to be two separate tools: Extension to Git to incorporate the optional use of PRs and issues on a text-first basis, like what the rest of git does for source code.Local webserver interface that supports doing all the things like you would in GitHub or other tooling, including issues and PRs.