@jdx has gone one step further with mise. The issues has been completely disabled. I presume he tracks real issues in another repo. It'd be nice if github could provide first class support for such a workflow.