These are some notes related to git branches.