#!/bin/sh
# Used for git push to remotes, without host key checking.
exec ssh -o StrictHostKeyChecking=false "$@"
