[dotfiles.git] / .gitconfig

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