On Tue, Jan 15, 2019 at 1:32 PM Carsten Ziegeler <cziege...@apache.org> wrote: > That (archiving) sounds like a good option to me...
I like it as well, but... > Stefan Seifert wrote > > additionally in github there is an option to "archive" a repository [1]... > > I suppose this can only be done by infra... Unless we can contribute code to https://selfserve.apache.org/ that allows us to do it ourselves, I suppose infra would be reluctant to have more work related to this. -Bertrand > > [1] https://help.github.com/articles/archiving-a-github-repository/