I think it would be more efficient to post on HN when there is a day without GitHub issues.
Well, that's today. Also without actions and pull requests.
Well, that's today. Also without actions and pull requests.