Things tagged with the git

GitHub username change

Git tags. Minor, but very useful things to give a name to your commit