If I'm reviewing a Github PR and have nits (like a missing article in a comment, say), I wish I could just directly edit the PR and merge it without having to pull it into a local repo, etc...
-
-
Make a comment on a pull request, and use the 'suggestion' button.
-
Ah, I see, the little thing that's not labeled "suggestion" unless you hover over it. Alright, that lets me do what I want, thank you!
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.