Closed kwankyu closed 1 year ago
Fix for https://github.com/sagemath/trac-to-github/pull/137#issuecomment-1384619462
and also suppress a comment id for "Branch pushed to git repo; ..." issue comment.
I prefer the "comment:12" format. That is a trac remnant even on github.
Thank you!
Fix for https://github.com/sagemath/trac-to-github/pull/137#issuecomment-1384619462
and also suppress a comment id for "Branch pushed to git repo; ..." issue comment.