| ▲ | gavmor an hour ago | |||||||
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. | ||||||||
| ▲ | shrishdwi an hour ago | parent [-] | |||||||
if the changes are on your local when you pull those changes from the remote, graft will be auto-synced before graft tool use. | ||||||||
| ||||||||