Stream: coq-community devs & users

Topic: GitLab deleting inactive projects


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

view this post on Zulip Karl Palmskog (Aug 05 2022 at 18:44):

(I hope Inria's GitLab is unaffected)

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

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

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

view this post on Zulip 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: Feb 05 2023 at 14:02 UTC