Archive or delete this repository

[sylee957]

There is already duplicate repository in
https://github.com/sympy/rubi

[oscarbenjamin]

This one has a better README. Otherwise is there any reason to prefer one or the other? Nether preserves the git history which could be done.