diff options
Diffstat (limited to 'makima/src/server/state.rs')
| -rw-r--r-- | makima/src/server/state.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/makima/src/server/state.rs b/makima/src/server/state.rs index 2a45d88..6a56f21 100644 --- a/makima/src/server/state.rs +++ b/makima/src/server/state.rs @@ -396,6 +396,14 @@ pub enum DaemonCommand { task_id: Uuid, }, + /// Create a git checkpoint (stage changes, commit, record stats) + CreateCheckpoint { + #[serde(rename = "taskId")] + task_id: Uuid, + /// Commit message for the checkpoint + message: String, + }, + /// Clean up a task's worktree (used when contract is completed/deleted) CleanupWorktree { #[serde(rename = "taskId")] |