|
|
|
|
|
|
by ljm
1462 days ago
|
|
|
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. |
|
|