Homework Solution: TopTechBoy Pi Pico, Lesson #17: Red LED with pushbutton

Hello, and welcome to my channel!
Today I'm providing my homework solution for TopTechBoy's Raspberry Pi Pico class, Lesson #17. In this week's video, we'll use a momentary pushbutton to control the red LED.

Link to TopTechBoy Raspberry Pi Pico class, Lesson #17:
https://www.youtube.com/watch?v=OkaUMOH6CSI

Purchase your Sunfounder Kepler Pico kit:
https://amzn.to/3ubMRs1

All the fun of Paul McWhorter's YouTube Channel:
https://www.youtube.com/c/mcwhorpj