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...
I suspect I can push to the branch in this case, but that's the workflow I'd rather avoid (pulling the branch, editing, pushing to it). How do I do suggestions?
-
-
When you make a (multi-)line comment there’s a button that allows you to edit the line(s) in the comment.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.