pull permet de faire un git pull à chaque intervalle de temps pendant une durée déterminée par l'utilisateur.
urm permet de supprimer les fichiers de developpement devenus inutiles