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
const newBody = body + '\n\n[deploy:full-refresh]';
39
+
if (!title.includes('[deploy:full-refresh]')) {
40
+
// Add marker to the end of the title
41
+
const newTitle = title + '[deploy:full-refresh]';
42
42
43
43
await github.rest.pulls.update({
44
44
owner: context.repo.owner,
45
45
repo: context.repo.repo,
46
46
pull_number: context.issue.number,
47
-
body: newBody
47
+
title: newTitle
48
48
});
49
49
50
50
// Also add a comment explaining what happened
51
51
await github.rest.issues.createComment({
52
52
owner: context.repo.owner,
53
53
repo: context.repo.repo,
54
54
issue_number: context.issue.number,
55
-
body: '🚀 **Full-refresh deployment marker added to PR description**\n\nThe `[deploy:full-refresh]` marker has been automatically added to this PR description. When merged, this will trigger a full-refresh deployment.'
55
+
body: '🚀 **Full-refresh deployment marker added to PR title**\n\nThe `[deploy:full-refresh]` marker has been automatically added to this PR title. When merged, this will trigger a full-refresh deployment.'
body: '✅ **Full-refresh deployment marker removed**\n\nThe `[deploy:full-refresh]` marker has been removed from this PR description. Normal deployment will occur on merge.'
93
+
body: '✅ **Full-refresh deployment marker removed**\n\nThe `[deploy:full-refresh]` marker has been removed from this PR title. Normal deployment will occur on merge.'
0 commit comments