I have 2 Teensy 4.0s and I would like to connect a single momentary switch to program both Teensys. Do I need a diode between the Teensy program pins and the switch input? If not, I would be connecting two pins with 3.3V high. The other pin of the switch would connect to ground.

If I do needs two diodes, would these work OK?