@junior: intern #84

Merged
ffaerber merged 4 commits from ai/issue-83 into main 2026-07-06 10:05:00 +02:00
2 changed files with 1 additions and 2 deletions
Showing only changes of commit c95d52aabb - Show all commits
-1
View File
@@ -121,7 +121,6 @@ if [ "$MODE" != "pr" ]; then
else
n=$((prior + 1))
trig "$dest" "@${dev:-junior} please address my review above and update PR #${PRN:-?} (fix attempt $n/3)."
fi
elif grep -qiE '^[[:space:]]*HALT([_ ]AUTOPILOT)?[[:space:]]*$' /tmp/agent_out.md; then
[ "$AUTOPILOT" = "true" ] && del_autopilot_label "$ISSN"