Update push.sh

Works with non-indented ssh configs and unspecified users.