I'm thinking more in terms of the case where my coworkers' agents aren't working via graft, and changes are made without the post-edit update hooks.
replyif the changes are on your local when you pull those changes from the remote, graft will be auto-synced before graft tool use.
replyOh, of course. Brilliant.
reply