git/.gitconfig

   1 [user]
   2         name = Mart Lubbers
   3         email = mart@martlubbers.net
   4
   5 [alias]
   6         tree = log --decorate --oneline --graph --all
   7         pushm = push origin master
   8         pushd = push origin develop