Allow user to add SSH-specific arguments

This can be useful in cases where some more intricate ways
to contact the remote server are necessary, e.g. adding  '-o' arguments.

Author: platisd

entrypoint.sh

@@ -9,4 +9,4 @@ echo "$DEPLOY_KEY" > "$SSHPATH/key"
 chmod 600 "$SSHPATH/key"
 SERVER_DEPLOY_STRING="$USERNAME@$SERVER_IP:$SERVER_DESTINATION"
 # sync it up"
-sh -c "rsync $ARGS -e 'ssh -i $SSHPATH/key -o StrictHostKeyChecking=no -p $SERVER_PORT' $GITHUB_WORKSPACE/$FOLDER $SERVER_DEPLOY_STRING"
+sh -c "rsync $ARGS -e 'ssh -i $SSHPATH/key -o StrictHostKeyChecking=no -p $SERVER_PORT $SSH_ARGS' $GITHUB_WORKSPACE/$FOLDER $SERVER_DEPLOY_STRING"