update mpi dotfiles

[dotfiles.git] / .gitconfig

diff --git a/.gitconfig b/.gitconfig
index 4acfb4c..8df1303 100644 (file)
--- a/.gitconfig
+++ b/.gitconfig
@@ -1,5 +1,7 @@
 [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