Update shell.txt

added variant to git push command so it would work on cloudforge-type or other uninitialized git repo versioning stores