# This sets the SSH identitiy based on an environment variable. That makes it possible for the git-mirror
# scripts to use git with a particular SSH identity.
# This sets the SSH identitiy based on an environment variable. That makes it possible for the git-mirror
# scripts to use git with a particular SSH identity.