Given the lack of activity on this repo, I propose archiving it.
If and when activity can be restored, the repository can be easily unarchived, by either:
We will wait until Friday the 25th of November to collect feedback from the community, then we will proceed with the archival.
Archiving the repo will consist of:
Given the lack of activity on this repo, I propose archiving it.
If and when activity can be restored, the repository can be easily unarchived, by either:
We will wait until Friday the 25th of November to collect feedback from the community, then we will proceed with the archival.
Archiving the repo will consist of: