2 Commits

Author SHA1 Message Date
ee81855fc3 chore(git): keep logs/ in repo but ignore all log files
**Motivations:**
- Explicit root rule for logs/**/*.log; nested **/*.log under logs/.

**Evolutions:**
- logs/README.md documents both ignore locations.
2026-04-03 18:11:42 +02:00
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