[Python-Dev] New workflow change: Welcome to blurb
tjreedy at udel.edu
Mon Jun 26 17:25:09 EDT 2017
On 6/25/2017 4:09 PM, Guido van Rossum wrote:
> On Sun, Jun 25, 2017 at 12:23 PM, Brett Cannon <brett at python.org
> <mailto:brett at python.org>> wrote:
> On Sun, Jun 25, 2017, 11:24 Terry Reedy, <tjreedy at udel.edu
> <mailto:tjreedy at udel.edu>> wrote:
> 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.
There is a different between 'duplicating' the docs and providing short
> If you're still not sure how, from the PR UI go to the "Files changed"
> tab and click the "pencil" icon on the heading for the file you want to
> change. The PR creator must have enabled this (but I think it's on by
> default). When you save, GitHub creates a new commit in the PR's branch
> and all the usual tests (Travis-CI etc.) get kicked off. Where it breaks
> down is if you want to edit multiple files (it creates a new commit for
> each) or if the files are large (scrolling around is awkward) or if you
> want to make extensive changes (the web editor is limited in its
> capabilities, it's based on https://codemirror.net/).
Thank you. This will make reviewing more fun. This should speed up
editing doc strings and comments and making other small changes (in a
single file) while reviewing. I just used this to edit a news item I
It seems strange that such an edit triggers a travis download of 3.6 to
run the cherry_picker test, but that is another issue.
Maybe I will use the web editor to add a a couple of lines to the
devguide about using the web editor ;-).
Terry Jan Reedy
More information about the Python-Dev