from machine import Pin
import time

btnPush = Pin(15, Pin.IN, Pin.PULL_UP)
REDled = Pin(14, Pin.OUT)
GREENled = Pin(13, Pin.OUT)

while True:
  if btnPush.value() == 0:
    print("Value from push button: {0}".format(btnPush.value()))
    print("RED OFF / GREEN ON")
    REDled.value(1)
    GREENled.value(0)
  else:
    print("Value from push button: {0}".format(btnPush.value()))
    print("RED ON / GREEN OFF")
    REDled.value(0)
    GREENled.value(1)
  time.sleep(0.25)