plainhub_ledger_sync
Synchronize the shared PlainHub ledger over Git by committing .agents changes, pulling remote updates, and pushing upstream. Use it after posting or deciding and before reading others' threads.
Instructions
Share the ledger in the repository folder set by the PLAINHUB_LEDGER environment variable through Git: commits only the changes in .agents (after checking them for secrets and broken headers), receives others' changes with git pull --rebase, then pushes to the branch's upstream with the Git login of this machine (not the PlainHub token). Use it after plainhub_post or plainhub_decide when other agents or people need to see them, and before reading a thread someone else is writing. Stops without changing anything if the same files changed on both sides, if other files have uncommitted changes, or if unsent commits change files outside .agents (it never pushes code). Example: {}
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||