# Voir cron/config.env : PULL_SYNC_MODE=project et PULL_SYNC_PROJECT_ID=enso + git-pull-wrapper.sh
#
# */15 * * * * USER cd SMART_IDE_ROOT && ./cron/git-pull-wrapper.sh