diff --git a/.agents/scripts/commands/pulse.md b/.agents/scripts/commands/pulse.md index 9526d9da22..b198092693 100644 --- a/.agents/scripts/commands/pulse.md +++ b/.agents/scripts/commands/pulse.md @@ -106,12 +106,12 @@ if [[ $label_exit -ne 0 || $comment_exit -ne 0 ]]; then elif [[ "$has_label" == "true" || "$has_comment" == "true" ]]; then # Already flagged. Re-add label if missing (comment exists but label doesn't). if [[ "$has_label" == "false" ]]; then - gh api "repos//issues//labels" -X POST -f 'labels[]=external-contributor' 2>/dev/null || true + gh api "repos//issues//labels" -X POST -f 'labels[]=external-contributor' || true fi else # Both API calls succeeded AND neither label nor comment exists — safe to post. gh pr comment --repo --body "This PR is from an external contributor (@). Auto-merge is disabled for external PRs — a maintainer must review and merge manually." \ - && gh api "repos//issues//labels" -X POST -f 'labels[]=external-contributor' 2>/dev/null || true + && gh api "repos//issues//labels" -X POST -f 'labels[]=external-contributor' || true fi ```