New comment by tibequadorian on void-packages repository

https://github.com/void-linux/void-packages/issues/36253#issuecomment-1075594774

Comment:
I know the content doesn't disappear but the list of closed PRs (which is 40x bigger and growing) is usually not considered when searching for a useful PR to build upon. Not least because GitHub filters for open PRs automatically. I'd rather just mark them as inactive and keep them open as long as they are useful to others.