**How to change board name**

[garubi]

When connected via USB, Push Push appears with the board name (Arduino Leonardo).
I would like to investicate how to change it.
The following links can help:

• https://forum.arduino.cc/t/multiple-leonardos-as-hid-joystick-how-to-change-the-names/402646
• https://gist.github.com/Hyratel/80017369fedd1bbc9eef4c8e7a896225
• How to change the device name(HID) NicoHood/HID#125