(CSC---fixing-push-set-upstream) fixed push.sh to have remotes work and set-upstream work
Merge remote-tracking branch 'origin/master' into GitScripts3
(GitScripts3) put push tags and set-upstream-to changes back