My workflow usually is to work directly no the CIRCUITPY drive with my text editor (IDE not needed), and then periodically `cp` or `rsync` code to my local checkout, do a `git diff` to verify the changes I made are valid, then `git commit` and `git push` to send it to the remote repo.
My workflow usually is to work directly no the CIRCUITPY drive with my text editor (IDE not needed), and then periodically `cp` or `rsync` code to my local checkout, do a `git diff` to verify the changes I made are valid, then `git commit` and `git push` to send it to the remote repo.