A direct mirror of the official moodle.git repository at http://git.moodle.org/.   Please do NOT file PULL requests here, instead please use http://tracker.moodle.org