Karl Palmskog (Aug 05 2022 at 18:43): Karl Palmskog (Aug 05 2022 at 18:43):Will this affect our GitLab mirroring perhaps? It seemingly completely rules out Coq-community ever using GitLab for more than backups/automation:
https://www.theregister.com/2022/08/04/gitlab_data_retention_policy/
GitLab plans to automatically delete projects if they've been inactive for a year and are owned by users of its free tier.
Karl Palmskog (Aug 05 2022 at 18:44):(I hope Inria's GitLab is unaffected)
Karl Palmskog (Aug 05 2022 at 18:46):ah, there is some followup: https://www.theregister.com/2022/08/05/gitlab_reverses_deletion_policy/
... but seemingly, inactive-more-than-1-year repos would still become inaccessible, which would be terrible for our mirroring
Théo Zimmermann (Aug 07 2022 at 09:19):You probably missed the last update to the follow-up article: more-than-1-year repos would not become inaccessible, they would just be slower to load, which would probably be just fine.
Karl Palmskog (Aug 07 2022 at 11:10):there was no hard promise of accessibility, from what I could tell - the only absolute was that they wouldn't delete stuff
Théo Zimmermann (Aug 07 2022 at 16:41):Our current plan for object storage https://t.co/fLRl2TY744 would keep the repos visible to everyone.
— Sid Sijbrandij (@sytses) August 5, 2022
Last updated: Jun 03 2023 at 17:29 UTC