(original) (raw)



On Sun, Jun 25, 2017, 11:24 Terry Reedy, <tjreedy@udel.edu> wrote:
On 6/25/2017 12:39 PM, Brett Cannon wrote:



> The entire reason I want to have this check is I don't want or have to

> ask another PR submitter to include a draft of a news item. It's much

> easier to edit an existing news entry through the web UI than either ask

> for it and deal with the turnaround time to get the PR submitter to add it.



I was not aware that PRs could be edited via a web UI and have no idea

how. I search a PR for something, searched the devguide index for

'web', and searched 3 Lifecycle of a pull request. Did I miss

something. Also, 6. Helping with Documentation should say something

about submitting typo PRs via the web, if indeed that is possible yet.

You can edit anything via the web, it's just part of GitHub and so we have not documented it explicitly to avoid just duplicating GitHub's own docs.

-brett







--

Terry Jan Reedy



_______________________________________________

Python-Dev mailing list

Python-Dev@python.org

https://mail.python.org/mailman/listinfo/python-dev

Unsubscribe: https://mail.python.org/mailman/options/python-dev/brett%40python.org