Select the types of activity you want to include in your feed.
monopam: include monopam lint in the daily workflow
Document the lint pass between commit and push so the missing/unused opam dep checks and stale-root-file warnings get a chance to surface before changes leave the monorepo.
···6767git add path/to/file ...
6868git commit -m "Description of changes"
69697070-# 5. Send them back to the upstream repos
7070+# 5. Lint: missing/unused opam deps and stale generated root files
7171+monopam lint
7272+7373+# 6. Send them back to the upstream repos
7174monopam push
7275```
7376···981013. **Commit** your changes: `git add <files>` for the specific paths you
99102 touched, then `git commit` (avoid `git add -A` — concurrent sessions
100103 may have staged unrelated work)
101101-4. **Push**: `monopam push` to send them upstream
104104+4. **Lint**: `monopam lint` to flag missing/unused opam deps and stale
105105+ generated root files (run `monopam lint --fix` to regenerate)
106106+5. **Push**: `monopam push` to send them upstream
102107103108## Important Notes
104109