sagemath/trac-to-github

convert_trac_username should also create sagetrac-... mannequins

Closed this issue 2 years ago · 0 comments

mkoeppe commented 2 years ago

... for example for the CC list in https://34.105.185.241/sagemath/sage-all-2023-01-12-003/issues/14783