A mirror of the official moodle.git repository at https://github.com/moodle/moodle to work with the Moodle Tracker