fix merge conflicts
allow git push to use additional ssh opts
remove additional verbosity
resolve merge conflicts
allow git to use extra ssh options with push.sh (like quiet)
remove ron-cruft
Merge pull request #74 from mancdaz/master

Merged automatically by jenkins after successful gate test