You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// Clean up the warning comment — changeset added or PR marked internal
74
+
if (existing) {
75
+
await github.rest.issues.deleteComment({
76
+
owner, repo, comment_id: existing.id,
77
+
});
78
+
}
79
+
return;
75
80
}
76
81
77
-
if (!found) {
78
-
const body = `${marker}
79
-
### ⚠️ Missing changeset
82
+
const body = `${marker}
83
+
## ⚠️ Missing changeset
80
84
81
85
This pull request does not include a changeset. Please add one before requesting review so the change is properly documented and included in the release notes.
82
86
@@ -99,6 +103,10 @@ jobs:
99
103
100
104
> If this PR is internal/maintenance with no user-facing impact, a maintainer can add the \`internal\` label to skip this check.`;
101
105
102
-
await github.rest.issues.createComment({ owner, repo, issue_number, body });
103
-
core.setFailed('No changeset found. Add a changeset file or apply the "internal" label to skip.');
106
+
if (existing) {
107
+
await github.rest.issues.deleteComment({
108
+
owner, repo, comment_id: existing.id,
109
+
});
104
110
}
111
+
await github.rest.issues.createComment({ owner, repo, issue_number, body });
112
+
core.setFailed('No changeset found. Add a changeset file or apply the "internal" label to skip.');
0 commit comments