Rename Git Branches

git branch -m old-branch-name new-branch-name

Easy way to rename branches, works with master branch.

First Day of Teaching 2017-2018

Top tip on the first day of teaching for 2017-2018. Continue reading

Feeling Strangely Fine by Semisonic

Published on September 21, 2017

Review The Second Machine Age

Published on July 27, 2017