We should go through all the repos and decide which was need archiving.
All the ones that recently have been moved to git or created this year do not need to be checked.
We should go through all the repos and decide which was need archiving.
All the ones that recently have been moved to git or created this year do not need to be checked.
Not much we can do CI wise. That is up to the whole community / someone else to decide whether a repository is to be archived.
See T102920: What to do with old open patches for unmaintained/inactive repositories when not even the uploader responds for a related discussion.
@Paladox I am a watch of both CI related project, so I am automatically subscribed to any tasks :-)