Today I learned how to create git aliases in my .gitconfig file.
.gitconfig
Today I learned how to automatically push code changes while I'm doing live coding, for example while teaching.
Thank you @pineman for having hosted and managed my site for so long!