Closed
Description
Having all the commands here is convenient, since people doing a setup don't have to follow links back and forth from this page to the GitHub bootcamp page. On the other hand, the bootcamp entries are also convenient on their own 1.
I think the best approach would be to:
- list all upstream-related commands in a single step and code block2, with short inline comments (about what the commands do)
- have the same commands in the bootcamp, but with more in-depth discussions (e.g. why they are necessary)
- from here, link to the bootcamp so that people that want more details can find them there
- add a couple of comments about the duplicated commands as a remainder for people updating either page
Originally posted by @ezio-melotti in #943 (comment)