Just edit boards/STM32F4DISCOVERY.py and change the pin name for BTN1.
boards/STM32F4DISCOVERY.py
BTN1
Remember there will still be a pullup(or down) resistor on the F4 board though, which you may want to remove.
@Gordon started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Just edit
boards/STM32F4DISCOVERY.py
and change the pin name forBTN1
.Remember there will still be a pullup(or down) resistor on the F4 board though, which you may want to remove.