DanConwayDev on Nostr: You are right, in that the same protocol (and ssh user) will get used for every git ...

You are right, in that the same protocol (and ssh user) will get used for every git server. I'd be surprised if a different ssh user is used for different git servers thatnhave the same repository.