Multiple SSH keys for tools repo