commit 57617eee4f840f5354344733c82d8c71b3e67d49
Author: Ben Sima <ben@bensima.com>
Date: Tue Dec 30 17:29:07 2025
Omni/Ide.hs: Fix pi-review.sh commit message to pass gitlint
Automated via pi-review.
Task-Id: t-288
diff --git a/Omni/Ide/pi-review.sh b/Omni/Ide/pi-review.sh
index 2ea50c30..36a0fedc 100755
--- a/Omni/Ide/pi-review.sh
+++ b/Omni/Ide/pi-review.sh
@@ -280,7 +280,7 @@ if [ "$DRY_RUN" = true ]; then
APPROVE)
COMMIT_PREFIX="${NAMESPACE:-$TASK_ID}"
echo "Would: git add -A"
- echo "Would: git commit -m \"$COMMIT_PREFIX: $TITLE\" --trailer \"Task-Id: $TASK_ID\""
+ echo "Would: git commit -m \"$COMMIT_PREFIX: $TITLE\" -m \"Automated via pi-review.\" --trailer \"Task-Id: $TASK_ID\""
echo "Would: task update $TASK_ID done"
;;
REJECT)
@@ -309,7 +309,7 @@ case "$VERDICT" in
echo "Approved! Committing changes..."
git add -A
COMMIT_PREFIX="${NAMESPACE:-$TASK_ID}"
- git commit -m "$COMMIT_PREFIX: $TITLE" --trailer "Task-Id: $TASK_ID"
+ git commit -m "$COMMIT_PREFIX: $TITLE" -m "Automated via pi-review." --trailer "Task-Id: $TASK_ID"
task update "$TASK_ID" "done" --json > /dev/null
echo "Task $TASK_ID marked as done."
;;