ad-si opened this issue 3 years ago · 0 comments
I think you should archive the repo since it's already deprecated. This would also make it possible to filter it out in searches (archived:false).
archived:false