Practical notes on Linux, networking, and programming.

After making any changes locally, use the following commands to push:

cd ~/Documents/websites/notes
git add -A
git commit -m "Update notes"
git push