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...
May I am not looking in the right place? The screenshot is pretty cropped, so I'm not sure where I should be looking. I see an "Edit" button for the PR title, and a "Viewed" checkbox for the one file involved, and a "..." next to that checkbox, but nothing like the linked UI.
-
-
Sorry for the late reply! Open the PR and click the Files Changed tab. Each file has a header with an ellipsis icon on the right. Click that, then "Edit file" if it's enabled.pic.twitter.com/JNl1WvJQ6v
-
Aha, perfect. Not very discoverable, but perfect. ;)
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.