Script to migrate Trac tickets to GitHub issues and the Trac wiki to markdown. Input: https://trac.sagemath.org/ ➠ Intermediate: https://github.com/sagemath/trac_to_gh ➠ Output: https://github.com/sagemath/sage/issues
Perhaps it's not too late. With this PR merged, we convert trac wiki pages again with right ticket links, and then merge with existing github wiki pages. There may be some conflicts because people already edited some part of the github wiki pages. But it would be much easier to fix these merge conflicts than manually editing all ticket links in github wiki pages manually!
Fixes https://github.com/sagemath/trac-to-github/issues/73#issuecomment-1418834768
Perhaps it's not too late. With this PR merged, we convert trac wiki pages again with right ticket links, and then merge with existing github wiki pages. There may be some conflicts because people already edited some part of the github wiki pages. But it would be much easier to fix these merge conflicts than manually editing all ticket links in github wiki pages manually!