Github repository on git.arduino.cc ?

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.