Hi, we have moved the repo to https://github.com/plclub/hs-to-coq (the only change is now it's under the PLClub organization account). If you have some new issues/PRs, please submit to the new repo.
Consider "transferring repo" rather than mirroring?
so that https://github.com/antalsz/hs-to-coq redirects to the new repo, and the stars/forks are preserved.
transferring the repo via GitHub would be the ideal, but in the other case, please use GitHub's "archiving" feature to make the antalz repo read-only (with a link to the new repo in the description and README). What we do not want is for the Coq community to be confused about which repo is canonical.
Will do that!
GitHub is still confused
Maybe you should change the repo description as well.
if the repo is archived, this would also be displayed in the search listings
see here for how we do it with Coq contribs that are obsolete: https://github.com/coq-contribs/random
Thanks for the suggestions! I can't do those things, unfortunately. Only Antal can do those. Will need to wait for him when he got some time.
Last updated: Feb 06 2023 at 06:29 UTC