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/

Reply via email to