Set up a Git repository: command lines

#git #github #linux #commandline #local #remote
mkdir tmplocal
cd tmplocal/
git init
git branch -m main
git remote add origin [e-mail]:mdini/tmp.git
git pull origin main
touch local.txt
git add local.txt
git commit -m 'local'
git push -u origin main