Many of my opinions have been expressed, and of course my (non-binding)
vote for switching to GitHub issues is of little to no consequence.
I wish to acknowledge and yet respond to Gus's reasonable objection to
switching to GitHub in addition to a few other comments.
It's owned by Microsoft
I f
> perhaps we could borrow a solution from other large/popular projects
operated on GitHub (yes, Elasticsearch and OpenSearch are in my mind).
FWIW Elasticsearch uses a separate, issue only, private repo with limited
developer access for security issues. I have no idea how feasible that
would be fo
