Mach es mit dem 10k Pullup und es wird funktionieren.
Mit dieser Hardware-Lösungen bist du auch bei falscher Software pin-Konfiguration auf der sicherern Seite.

Gruß
Stefan