#! /bin/bash 
# Last edited on 2022-01-21 13:17:43 by stolfi

# tuc_Esi9pvXhQHQEU0OlpLyg3lYuTHBEWu2dUeJz

msg="$1"; shift

git commit -m "${msg}"

git push --set-upstream origin main

# git push

# git push origin main