Introduction to the GitHub workflow on the web