Yao Li (Nov 03 2020 at 20:47): Yao Li (Nov 03 2020 at 20:47):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.
Yishuai Li (Nov 04 2020 at 04:33):Consider "transferring repo" rather than mirroring?
Yishuai Li (Nov 04 2020 at 04:34):so that https://github.com/antalsz/hs-to-coq redirects to the new repo, and the stars/forks are preserved.
Karl Palmskog (Nov 04 2020 at 08:12):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.
Yao Li (Nov 11 2020 at 00:00):Will do that!
Yishuai Li (Nov 11 2020 at 18:50):GitHub is still confused
image.png
Yishuai Li (Nov 11 2020 at 18:50):Maybe you should change the repo description as well.
Karl Palmskog (Nov 11 2020 at 18:53):if the repo is archived, this would also be displayed in the search listings
Karl Palmskog (Nov 11 2020 at 18:54):see here for how we do it with Coq contribs that are obsolete: https://github.com/coq-contribs/random
Yao Li (Nov 12 2020 at 03:07):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