Coincidentally as a follow up of our issues / PR discussion last Wednesday, Github has announced a new issue system https://github.blog/2021-06-23-introducing-new-github-issues/
I didn't have time to look into it yet, but maybe it will help us.
Last updated: Dec 06 2023 at 14:01 UTC