This wird something that we do not need but I still wanna have and somehow I managed to motivate mirabilos to help me with it although there is soooooo much work to do for him later  ...

options parsing may only be done [[ -z $cmd ]]

“teckids up” = “git pull --rebase”, plus it uses the ssh wrapper

this commit was made by “teckids ci”