How to clone git (github / huggingface) over ssh with non default identity file

Make a new file  ~/.ssh/config

And in the file, fill with this

Host hf-boringtaskai
Hostname hf.co
IdentityFile /root/.ssh/id_yoursshfile
User yourusername

then you can clone using ssh, like this

git clone git@hf-boringtaskai:boringtaskai/your_repo