From 930058d886e5b07188f807ff9bffaddf5a4831ff Mon Sep 17 00:00:00 2001 From: mike-diff Date: Thu, 20 Aug 2026 16:47:05 -0700 Subject: [PATCH] ci(dispatch): keep run artifacts out of the commit --- .github/workflows/dispatch.yml | 7 +++++-- .gitignore | 7 +++++++ 2 files changed, 12 insertions(+), 2 deletions(-) diff --git a/.github/workflows/dispatch.yml b/.github/workflows/dispatch.yml index 7e45752..7aa3271 100644 --- a/.github/workflows/dispatch.yml +++ b/.github/workflows/dispatch.yml @@ -219,8 +219,11 @@ jobs: cp "$BODY_FILE" "$PR_BODY_COPY" BODY_FILE="$PR_BODY_COPY" - # Strip the artifact from the working tree before committing. - rm -f PR_BODY.md + # Strip both agent artifacts from the working tree before committing. + # TASK.md is the prompt this run was given and PR_BODY.md describes the + # change; both are inputs to the run, not source changes, so neither + # belongs in the repo. git add -A below would otherwise sweep them in. + rm -f PR_BODY.md TASK.md git add -A if git diff --cached --quiet; then echo "no source changes produced by agent" diff --git a/.gitignore b/.gitignore index 6bf0a62..8f826ad 100644 --- a/.gitignore +++ b/.gitignore @@ -4,6 +4,13 @@ # editor/tool droppings *.tmp +# Unattended-run artifacts: TASK.md is the prompt a dispatch run was given and +# PR_BODY.md is the body it authored. Both are inputs to a run, never source. +# The workflow deletes them before committing; ignoring them means a missed +# delete cannot land them in the repo anyway. +/TASK.md +/PR_BODY.md + # project-local sesh mods and config are personal, never committed .sesh/