Github repository on git.arduino.cc ?

westfw:
I would be very concerned if the git repository for an open source project was hosted at the company running the project. That is NOT comfortable.

I think I agree with you but I'm not sure why. Can you expand?