allow git to use extra ssh options on push.sh