Update gitpush.sh

gitpush.sh

@@ -1,5 +1,12 @@
-cd /workspace/latinasketch
-git add .
-GIT_AUTHOR_NAME="Anonymous" GIT_AUTHOR_EMAIL="anonymous@example.com" \
-GIT_COMMITTER_NAME="Anonymous" GIT_COMMITTER_EMAIL="anonymous@example.com" \
-git commit -m "first init"
+!eval "$(ssh-agent -s)"
+!ssh-add ~/.ssh/id_ed25519
+!cd /workspace
+!git clone git@hf.co:MikaelTradera/latinasketch
+!cd /workspace/latinasketch
+%env GIT_AUTHOR_NAME=Anonymous
+%env GIT_AUTHOR_EMAIL=anonymous@example.com
+%env GIT_COMMITTER_NAME=Anonymous
+%env GIT_COMMITTER_EMAIL=anonymous@example.com
+
+!git add .
+!git commit -m "first init"