…or push an existing repository from the command line:

git remote add origin http://git2.t12e.cc/carol/stardemo.git
git push -u origin main