4 ms·

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 2mo ago
  if the changes are on your local when you pull those changes from the remote, graft will be auto-synced before graft tool use.
  • gavmor 2mo ago
    Oh, of course. Brilliant.