A little hack to .bashrc to facilitate the use of GIT