#!/bin/bash

git config --global user.name "phuot"
git config --global user.email "pierre-vincent.huot@uclouvain.be"
git config --global color.ui auto
git config --global core.editor "vim"
git config --global push.default simple