I'm not sure if the script should push the initial contents, but doing so manually should be as easy as `git push origin main`.
I'm not sure if the script should push the initial contents, but doing so manually should be as easy as
git push origin main.