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...
-
-
-
-
Replying to @really_bz
Make a comment on a pull request, and use the 'suggestion' button.
1 reply 0 retweets 0 likes
Replying to @evertp
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!
9:46 PM - 14 Mar 2020
0 replies
0 retweets
0 likes
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.