Comment by brod_ie

Exactly for the commit history: we want to make our legal agreements, and any changes made to them, as transparent as possible, we thought GitHub was the most accessible place to do this