PUSH_MODIFS 207 Bytes
#!/usr/bin/env bash

# 1) Mise à jour du code source actuel
./UPDATE

exit
# 2) Envoi de mes modifs (sur la branche en cours, a priori master)
git add .
git commit -m "Ajout de mes modifications"
git push