<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Mon, 26 Jun 2017 at 14:28 Terry Reedy <<a href="mailto:tjreedy@udel.edu">tjreedy@udel.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 6/25/2017 4:09 PM, Guido van Rossum wrote:<br>
> On Sun, Jun 25, 2017 at 12:23 PM, Brett Cannon <<a href="mailto:brett@python.org" target="_blank">brett@python.org</a><br>
> <mailto:<a href="mailto:brett@python.org" target="_blank">brett@python.org</a>>> wrote:<br>
><br>
><br>
><br>
>     On Sun, Jun 25, 2017, 11:24 Terry Reedy, <<a href="mailto:tjreedy@udel.edu" target="_blank">tjreedy@udel.edu</a><br>
>     <mailto:<a href="mailto:tjreedy@udel.edu" target="_blank">tjreedy@udel.edu</a>>> wrote:<br>
><br>
<br>
>         I was not aware that PRs could be edited via a web UI and have<br>
>         no idea<br>
>         how.  I search a PR for something, searched the devguide index for<br>
>         'web', and searched 3 Lifecycle of a pull request.  Did I miss<br>
>         something.  Also, 6. Helping with Documentation should say something<br>
>         about submitting typo PRs via the web, if indeed that is<br>
>         possible yet.<br>
><br>
><br>
>     You can edit anything via the web, it's just part of GitHub and so<br>
>     we have not documented it explicitly to avoid just duplicating<br>
>     GitHub's own docs.<br>
<br>
There is a different between 'duplicating' the docs and providing short<br>
pointers.<br></blockquote><div><br></div><div>Yes, but I've been using GitHub for years so I don't know what is obvious and isn't anymore. And there is also a balance when documenting things that we don't control and thus can go stale in the devguide.<br><br></div><div>This is the sort of thing we could point out in a "pointers on GitHub" page once someone has time to re-organize the devguide around use-cases (e.g. external contributor, core dev who doesn't use GitHub day-to-day, and How we differ from other GitHub projects).<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
> If you're still not sure how, from the PR UI go to the "Files changed"<br>
> tab and click the "pencil" icon on the heading for the file you want to<br>
> change. The PR creator must have enabled this (but I think it's on by<br>
> default). When you save, GitHub creates a new commit in the PR's branch<br>
> and all the usual tests (Travis-CI etc.) get kicked off. Where it breaks<br>
> down is if you want to edit multiple files (it creates a new commit for<br>
> each) or if the files are large (scrolling around is awkward) or if you<br>
> want to make extensive changes (the web editor is limited in its<br>
> capabilities, it's based on <a href="https://codemirror.net/" rel="noreferrer" target="_blank">https://codemirror.net/</a>).<br>
<br>
Thank you.  This will make reviewing more fun. This should speed up<br>
editing doc strings and comments and making other small changes (in a<br>
single file) while reviewing.  I just used this to edit a news item I<br>
pushed previously.<br>
<br>
It seems strange that such an edit triggers a travis download of 3.6 to<br>
run the cherry_picker test, but that is another issue.<br></blockquote><div><br></div><div>Why is it strange? You changed something in the repository and Travis is there to test that repository (and Travis doesn't know what you do and do not want tested). And Python 3.6 doesn't come in the version of Ubuntu they use so they have to get it somehow (and by downloading they can do stuff like run release candidates or let people run against development versions of Python).<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Maybe I will use the web editor to add a a couple of lines to the<br>
devguide about using the web editor ;-).<br></blockquote><div><br></div><div>:) Seems appropriate if there's a place to put that ATM.<br><br></div><div>-Brett<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
--<br>
Terry Jan Reedy<br>
<br>
_______________________________________________<br>
Python-Dev mailing list<br>
<a href="mailto:Python-Dev@python.org" target="_blank">Python-Dev@python.org</a><br>
<a href="https://mail.python.org/mailman/listinfo/python-dev" rel="noreferrer" target="_blank">https://mail.python.org/mailman/listinfo/python-dev</a><br>
Unsubscribe: <a href="https://mail.python.org/mailman/options/python-dev/brett%40python.org" rel="noreferrer" target="_blank">https://mail.python.org/mailman/options/python-dev/brett%40python.org</a><br>
</blockquote></div></div>