Output from the trac-to-github migration script with input https://trac.sagemath.org - View it on GitHub