10k- v 220-ohm resistor and a push button.

arduino_obc_and_rbc:
Fine. It works. All is well. I removed the 10k-ohm resistor and replaced it with a 220-ohm resistor. Again, all is well.

Yep.

arduino_obc_and_rbc:
The bit I can't understand is why the 10k-ohm resistor is chosen over the 220-ohm resistor. Clearly, the 10k-ohm was chosen for a reason. I really couldn't see any difference over the 220-ohm one. Can somebody explain why?

The 220 Ohm will turn more electricity into heat. That annoys engineers...