Could we mirror transformers from darcshub to GitHub? This would make
browsing the current source easier for those of us who do not frequent
darcshub. It would also help with the uniformity of having core libs
on GitHub. Of course this would just be a mirror, and users would be
advised to not open PRs there.
Not sure how easy mirroring from DarcsHub to GitHub is.