Update the setup and PR lifecycle pages - #265

Merged

ezio-melotti merged 11 commits into

python:masterfrom

ezio-melotti:update-pr-lifecycle

Sep 28, 2017

Commits on Sep 7, 2017

Update the setup page and the quick guides.
ezio-melotti
committed
5038a8f
Working and markup tweaks.
ezio-melotti
committed
25d8600
Remove the "Tool Setup" section.
ezio-melotti
committed
22a51dc
Rename the "Creating" section to "Introduction".
ezio-melotti
committed
399b4b2
Reorganize info about patchcheck.
ezio-melotti
committed
3ff87b2
Rename and move the "Preparation" section to "Making good PRs".
ezio-melotti
committed
345319a
Fix headers levels (by rotating quotes).
ezio-melotti
committed
010e9ac
Remove outdated comment.
ezio-melotti
committed
0605bc2
Move and refactor the sections about commits.
ezio-melotti
committed
4ca6432
Fix markup and long lines.
ezio-melotti
committed
f008f8d
Convert the step-by-step guide to a bullet list.
ezio-melotti
committed
e343c17