stevenweber.github.io Development make development-server Deployment This is a GitHub Pages repo, so pushing to the main branch deploys changes.