#! /bin/sh

git config --global user.name "troj"
git config --global user.email "thomas.roj@polytech-lille.net"
git add *
git commit -m "Commit rasp"
git push -u origin master