It’s not a GitHub replacement though, it’s an integration. Is it still better? Maybe it is. I don’t think that turning a PR comment into a floating box is a v

It’s not a GitHub replacement though, it’s an integration. Is it still better? Maybe it is. I don’t think that turning a PR comment into a floating box is a value-add… anyone can do that with a userscript or inline bookmark. And ultimately…you can’t solve a people problem with tech.