Thanks for taking a look! Unfortunately, developing self-contained tools that customers run behind a firewall is a complete non-starter for me. ;-) Developin

Thanks for taking a look! Unfortunately, developing self-contained tools that customers run behind a firewall is a complete non-starter for me. ;-) Developing against the GitHub API does carry some non-trivial advantages: among other things, I never actually clone any repos. This wouldn't be possible with a raw git repo. I'm considering adapting the tool to AWS CodeCommit, though, which might be a decent middle ground. Making my own equivalent of pull requests is actually the least of the changes I'd need to make, though. And yeah, performance is a never-ending battle... But considering that all the work is done in the browser (fetching sources, diffing, formatting, etc.) I think it's actually not too bad. Again, like running in the cloud, it's a trade-off of in favor of flexibility and development speed.