This should be in users ssh config for easier collaboration.