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/