Revert "Plus besoin du double git push sur la dernière version de git"

This reverts commit 6df2028322d101f761b3b4bf6018a530e51c6492.