Nicolas Cantu d98e6bce60 feat: logs/ for pull-sync and ia_dev; document ia_dev as in-repo module
- Default PULL_SYNC_LOG to logs/git-pull-projects.log; add logs/README and gitignore
- Add services/ia_dev integration README and .env.example
- Replace docs/ia_dev-submodule.md with ia_dev-module.md; update ecosystem and README links
- Point ia_dev submodule to commit with smart_ide_logs.sh
2026-04-03 17:50:49 +02:00

4 lines
169 B
Plaintext

# 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