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: Mar 29 2024 at 15:02 UTC