# !/bin/sh
#
# Wrapper script to run SCM operations over SSH using a predefined SSH key.
#
exec "$SSH_EXEC" -i "$STASH_SSH_KEY" -C -o StrictHostKeyChecking=no -o PasswordAuthentication=no -o UserKnownHostsFile=/dev/null $@