Unless OP is in a management position, where politics and such BS may as well be in the PD, what on earth is the need to judge your co-workers’ personalities?
I’ve dealt with a lot of different people at work, vastly different people. But as long as we can get the work done, let it be introverted or antisocial, it just doesn’t matter? Hell, even if it gets in the way of my job, there are professional ways to move forward. I’m here to get shit done and collect my paychecks, not to have ‘emotional experiences’ every day with everyone. There are some 4000 people in my company, I can’t socialise with everyone, I don’t want to socialise with everyone, and I certainly don’t care if someone refuses to socialise. 99% of them are not too different from random online strangers to me. Communications usually just go ‘Can we do this?’ ‘Sure.’ Then fast forward 3 months they may not even still work here. I socialise with a handful of people I like, and I’ve made some good friends. Others I absolutely don’t care. I expect communications to be productive, not ‘emotional’. I’m just an IC, not the company’s counsellor.
While you can’t use Syncthing to share a git repo, it actually works quite well in an A -> B setup, where updates happen only on A and versioned backup is enabled on B. YMMV tho.