(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