My private mirror of http://git.moodle.org/ for development purposes.