now :) a terminal showing a few git commands, the currently running one is "git push", there is a further restriction does not apply if neither you nor any third party based