On 3/28/21 5:24 AM, Johan Vos wrote:
I'm still in favor of closing it though.
It would be nice if there were a way in GitHub to close the repository
to new issues but keep the old ones public and editable. For example,
I'm still getting good information on the old closed issues, even as
recently as last week:
mgroth0 commented 8 days ago
https://github.com/javafxports/openjdk-jfx/issues/229#issuecomment-804546080
That doesn't seem possible, though. I can find only a checkbox to enable
or disable issues.
John