[user]
name = Mart Lubbers
- email = mart@martlubbers.net
+ email = mart.lubbers@mpi.nl
[alias]
- tree = log --oneline --decorate --graph --all
+ tree = log --decorate --oneline --graph --all
+ pushd = push origin develop
+ pushm = push origin master