Add a script to configure git locally

project/working_environment/env.sh

@@ -0,0 +1,7 @@
+#!/bin/bash
+
+git config --global user.name "My name"
+git config --global user.email "my_mail@uclouvain.be"
+git config --global color.ui auto
+git config --global core.editor "vim"
+git config --global push.default simple