# Set up a repository and a shared remote (a local bare repository stands in for GitHub) git init -q echo "<h1>Hello world!</h1>" > index.html git add index.html git commit -q -m "First commit" git init -q --bare ../origin.git git remote add origin ../origin.git git push -q -u origin main git tag v1.0 git push origin v1.0