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...
So... on https://github.com/heycam/webidl/pull/756/files … I do not see the UI that article shows, with the Open/Edit/View buttons....
-
-
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
- 1 more reply
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.