diff --git a/git_push.sh b/git_push.sh new file mode 100755 index 0000000..96f5476 --- /dev/null +++ b/git_push.sh @@ -0,0 +1,7 @@ +#! /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 -- libgit2 0.21.2