For my #cyphercon9 people, if you’re on a Mac this is the easiest way to get hacking that digital badge:

brew install mpremote
mpremote cp :main.py main.py
mpremote cp main.py :main.py
mpremote reset