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
console.log(`Ignoring PR #${prNumber} by ${contributor}`);
20
+
return;
21
+
}
22
+
23
+
awaitgithub.rest.issues.createComment({
24
+
owner: context.repo.owner,
25
+
repo: context.repo.repo,
26
+
issue_number: prNumber,
27
+
body: `Congratulations @${contributor} on getting PR #${prNumber} merged!
28
+
29
+
Thank you for your contribution to the project.
30
+
31
+
To receive the appropriate GSSoC labels and recognition, please mention @Harxhit in the **#get-labels** channel on our Discord server and share your merged PR link.`,
0 commit comments