Identity Name
$ git config --global user.name "aquelito"| import time | |
| from machine import Pin | |
| # Set up column pins (inputs) | |
| key1 = Pin(11, Pin.IN, Pin.PULL_DOWN) | |
| key2 = Pin(10, Pin.IN, Pin.PULL_DOWN) | |
| key3 = Pin(13, Pin.IN, Pin.PULL_DOWN) | |
| key4 = Pin(12, Pin.IN, Pin.PULL_DOWN) |