Push commits with git push (-u and --force-with-lease)

git push sends local commits to a remote. -u records upstream tracking so later pushes need no arguments. --force-with-lease is the safer alternative to --force.