I posted it as an improvement to the boards display in the board manager
Except you didn't sufficiently communicate the purpose of the issue. Issues are used to report bugs and to make feature requests. But your issue was "I made a batch script". That's not a bug report or a feature request. This is why I closed the issue.
the reply was quite discouraging and like a brush off.
I apologize if it felt that way to you. We have thousands of issues in the Arduino repositories, over 9000 in that repository alone, so maintaining the issue trackers is a lot of work. I don't have a lot of time to dedicate to that work and mostly I do it on volunteer time. I try to do my best, but I may not always communicate effectively, and sometimes make mistakes as well.
In this case though, I do stand by my decision to close the issue.
But please don't be discouraged. I can say from personal experience that there opportunities for everyone to contribute to the Arduino project. You can't expect that every feature request will be implemented and every pull request will be merged. I currently have 1687 open PRs going all the way back to 2015. But I also have 3833 PRs that were merged! If you are persistent and always make your best effort, you will be sure to make the world a better place for many thousands of people.
it would also simplify the way new boards can be added
I disagree. This is something that only needs to be done once, and very rarely, so a script only adds one more thing for Arduino to maintain.
I also disagree with the approach of sorting the boards alphabetically. Let's look at your proposed order:
- Adafruit Circuit Playground
- Arduino BT
- Arduino Duemilanove or Diecimila
- Arduino Esplora
- Arduino Ethernet
- Arduino Fio
- Arduino Gemma
- Arduino Industrial 101
- Arduino Leonardo ETH
- Arduino Leonardo
- Arduino Mega ADK
- Arduino Mega or Mega 2560
- Arduino Micro
- Arduino Mini
- Arduino Nano
- Arduino NG or older
- Arduino Pro or Pro Mini
- Arduino Robot Control
- Arduino Robot Motor
- Arduino Uno WiFi
- Arduino Uno
- Arduino Yun Mini
- Arduino Yun
- LilyPad Arduino USB
- LilyPad Arduino
- Linino One
The first is not even an official Arduino board.
The next 8 are retired boards.
The most popular board of all is at position 21
I do think that the current order of the Arduino AVR Boards could be improved, but this should be done manually.
it would increase the usability for people (like me) that shift boards from time to time.
I agree, and this is why I suggested that you publish your batch file in a repository so it can be available to whoever might find it useful.
Did I post it the wrong way
I think you could have more clearly communicated your intent. Whenever submitting bug reports or feature requests to any project, I think it's very important to make a little extra effort to make sure it's very clear. Remember that what seems obvious to you will not be obvious at all to someone missing all the context you have in your brain.
should I have done github pull request
That is the best approach when you have a specific change you want to make to the contents of a repository. In fact, the appropriate repository is a different one: