Stream: hs-to-coq devs & users

Topic: Moving the repo under PLClub


view this post on Zulip 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.

view this post on Zulip Yishuai Li (Nov 04 2020 at 04:33):

Consider "transferring repo" rather than mirroring?

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip Yao Li (Nov 11 2020 at 00:00):

Will do that!

view this post on Zulip Yishuai Li (Nov 11 2020 at 18:50):

GitHub is still confused
image.png

view this post on Zulip Yishuai Li (Nov 11 2020 at 18:50):

Maybe you should change the repo description as well.

view this post on Zulip Karl Palmskog (Nov 11 2020 at 18:53):

if the repo is archived, this would also be displayed in the search listings

view this post on Zulip 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

view this post on Zulip 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