use a special ssh_no_prompt bash script as GIT_SSH to suppress prompts