Refresh Repos
Pull the latest changes for cloned M-KOPA repos at ~/Repos/.
Usage
/refresh-repos— pull all cloned repos/refresh-repos corelending— pull only repos matching a keyword (case-insensitive)
Instructions
- Check for a filter keyword in the arguments.
- List directories in
~/Repos/, filtered by the keyword if given. - For each match, run
git -C <path> pull --ff-onlyand capture the output. - Report concisely:
- Updated — repos with new commits, showing git's summary line
- Already current — a single count, never a list
- Errors — the repo and the error
- Keep it short. Do not repeat "Already up to date." per repo.
- If anything was pulled, say so clearly — the user needs to know something changed underneath them.
Note on freshness
If repos were updated and the session has already made claims based on the previous state, flag which claims may now be stale.