#!/bin/bash

git config --global user.name "leandro@texel"
git config --global user.email "leandro.ponsoni@uclouvain.be"
git config --global color.ui auto
git config --global core.editor "vim"
git config --global push.default simple