Outline: (1) the toolchain: Git, Docker, Java, Maven; (2) a GitHub organization; (3) the root repository `platform`; (4) bonus: documentation with MkDocs Material on GitHub Pages.
Ask who is on Windows: they need the extra environment-variable step on the next slide.