tree 69580944c24bd99c5286ae0611cf2998a3b85035
parent 8c3b53a97ae2a204842c0c86ca859947ce20b1dd
author Philip Zeyliger <philip@bold.dev> 1747939754 +0000
committer Philip Zeyliger <philip@bold.dev> 1747942844 -0700

loop: auto-commit changes when saving in diff view

What I've done is create a git commit whenever the user edits things,
and amend if possible. The existing detection logic pushes the commits
to the host, BUT, I had to do some plumbing to make that happen. The
agent state machine would be out of sorts if I did this (since we're
doing things outside of the loop), but, I didn't tell it, so... it's ok!

If the user has the agent running when editing, everyone can get
confused. There's no atomicity for the git operations, etc.
I suspect in practice this will all be as fine as everything else is.

I'm not running the autoformatters. That's a weird editing experience.

The alternative was to do what the diff comments does, and let the agent
deal with the changes by sending it a message. I chose not to do that:
first of all, I want the push to happen fast, since I don't like losing
user data. Second, the latency on an operation is distracting sometimes,
and sometimes what I do next is just cherrypick my changes over, and I'm
not interested in the pedantry of the agent and the code formatters and
so forth. If they were faster, maybe.

Co-Authored-By: sketch <hello@sketch.dev>
Change-ID: sec50af415124810bk