Quick guide to publish a static HTML site on GitHub Pages from a repository with simple steps and commands