Closed kwankyu closed 1 year ago
At the end of the list, there are some names which look like trac account names. They may be removed. But I did not.
What should we do about these names?
What should we do about these names?
I think they should become <contributor trac="..."/>
@kwankyu I merged this, but then I discovered xml is broken. e.g. github="ypfmde"/>;
ends with a semicolon, that's not ok. I'll fix it.
@kwankyu I merged this, but then I discovered xml is broken. e.g.
github="ypfmde"/>;
ends with a semicolon, that's not ok. I'll fix it.
Right. Thanks!
What should we do about these names?
I think they should become
<contributor trac="..."/>
Okay. I will do that, and do the fix in the comment
https://github.com/sagemath/website/pull/346#issuecomment-1280443514
in a new PR.
I mage the merge with the changelogs, omitting some wrong entries.
Then I removed a few obvious duplicates, but I guess there are many new duplicates.
At the end of the list, there are some names which look like trac account names. They may be removed. But I did not.