RFC: Terms of use for a new Git hosting platform for educational projects