intentionally provocative question,
why did you introduce the mandantory option in the issue tracker at github?
"I verified the problem still occurs when using the latest [nightly build]"
Because you can't seriously dictate to everyone that someone can only report issues using an unstable nightly build.
That just prevents you, from getting feedback about bugs from the normal users.
Or is it your concern, that only bug items come in from developers. Because the normal user will never hardly (be able to) install a nightly build.
You didn't get the point,
i'm a experienced software developer and even i would never install a nightly build in my productive enviroment, just for testing a bug in an development ide. Duplicate entries in the tracker is only one thing, but with this option (and the statement behind it) you lose valuable input from many users.
And even worth with this statement on the github page
With this option there are exactly 3 types of entries.
Very few will actually install the Nightly Build.
Many will simply tick the box without having tested it first.
Many, many users will simply no longer make an entry.
I don't want my environment to become unstable with a test version. Just to reproduce an obvious foreign software bug.
A statement like: "I verified the problem still occurs when using the latest official version" would be ok, but not for nightly build.
We receive a large number of issue reports across the hundreds of repositories of Arduino's free open source projects. Triaging all those issues is a tremendous amount of work, especially since many of the issues are of low quality.
We need the community to do their part to allow us to spend our time on fixing bugs and making enhancements instead of closing duplicate issues. If the user isn't willing to make that effort then they should not submit an issue report.
There are no such requirements on the forum so input via posts here are always welcome, but we hold the activity in our GitHub repositories to a higher standard in order to make it possible for the development work to be done efficiently.