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
{{ message }}
This repository was archived by the owner on Jul 1, 2024. It is now read-only.
status: `@${user} Unfortunately, this pull request currently has a merge conflict 😥. Please update your PR branch to be up-to-date with respect to master. Have a nice day!`
34
+
status: txt`
35
+
|@${user} Unfortunately, this pull request currently has a merge conflict 😥.
36
+
Please update your PR branch to be up-to-date with respect to master. Have a nice day!`
status: `@${user} One or more reviewers has requested changes. Please address their comments. I'll be back once they sign off or you've pushed new commits. Thank you!`
41
+
status: txt`
42
+
|@${user} One or more reviewers has requested changes. Please address their comments.
43
+
I'll be back once they sign off or you've pushed new commits. Thank you!`
:unamused: Your PR doesn't modify any tests, so it's hard to know what's being fixed, and your changes might regress in the future. Please consider [adding tests](${testsLink}) to cover the change you're making. Including tests allows this PR to be merged by yourself and the owners of this module.
43
-
44
-
***This can potentially save days of time for you!***`
48
+
tag,status: txt`
49
+
|Hey @${user},
50
+
|
51
+
|:unamused: Your PR doesn't modify any tests, so it's hard to know what's being fixed,
52
+
and your changes might regress in the future. Please consider [adding tests](${testsLink})
53
+
to cover the change you're making. Including tests allows this PR to be merged by
54
+
yourself and the owners of this module.
55
+
|
56
+
|***This can potentially save days of time for you!***`
status: `🔔 ${names.map(n=>`@${n}`).join(" ")} — please [review this PR](${reviewLink}) in the next few days. Be sure to explicitly select **\`Approve\`** or **\`Request Changes\`** in the GitHub UI so I know what's going on.`
61
+
status: txt`
62
+
|🔔 ${names.map(n=>`@${n}`).join(" ")} — please [review this PR](${reviewLink}) in the
63
+
next few days. Be sure to explicitly select **\`Approve\`** or **\`Request Changes\`**
status: `🔔 @${user} — you're the only owner, but it would still be good if you find someone to [review this PR](${reviewLink}) in the next few days, otherwise a maintainer will look at it. (And if you do find someone, maybe even recruit them to be a second owner to make future changes easier...)`
69
+
status: txt`
70
+
|🔔 @${user} — you're the only owner, but it would still be good if you find someone to
71
+
[review this PR](${reviewLink}) in the next few days, otherwise a maintainer will look at it.
72
+
(And if you do find someone, maybe even recruit them to be a second owner to make future
status: `@${reviewers.join(", @")} Thank you for reviewing this PR! The author has pushed new commits since your last review. Could you take another look and submit a fresh review?`
90
+
status: txt`
91
+
|@${reviewers.join(", @")} Thank you for reviewing this PR! The author has pushed new
92
+
commits since your last review. Could you take another look and submit a fresh review?`
I can't [accept a pull request](${uri}) until all of the checks in the "Status" section of [this comment](#issuecomment-${mainCommentID||"???"}) are green. I will let you know once that happens.
91
-
92
-
Thanks, and happy typing!`
113
+
status: txt`
114
+
|:passport_control: Hi @${user},
115
+
|
116
+
|I can't [accept a pull request](${uri}) until all of the checks in the "Status" section of
117
+
[this comment](#issuecomment-${mainCommentID||"???"}) are green.
118
+
I will let you know once that happens.
119
+
|
120
+
|Thanks, and happy typing!`
93
121
});
94
122
95
123
// Explanation for the stalness count in the welcome message
This PR has been ready to merge for over a week, and I haven't seen any requests to merge it. I will close it on ${expires} (in three weeks) if this doesn't happen.
113
-
114
-
(If there's no reason to avoid merging it, please do so. Otherwise, if it shouldn't be merged or if it needs more time, please close it or turn it into a draft.)`,
115
-
"Unmerged:done": `After a month, no one has requested merging the PR 😞. I'm going to assume that the change is not wanted after all, and will therefore close it.`,
138
+
"Unmerged:nearly": txt`
139
+
|Re-ping @${author} / ${ownerPing}:
140
+
|
141
+
|This PR has been ready to merge for over a week, and I haven't seen any requests to
142
+
merge it. I will close it on ${expires} (in three weeks) if this doesn't happen.
143
+
|
144
+
|(If there's no reason to avoid merging it, please do so. Otherwise, if it shouldn't
145
+
be merged or if it needs more time, please close it or turn it into a draft.)`,
146
+
"Unmerged:done": txt`
147
+
|After a month, no one has requested merging the PR 😞. I'm going to assume that the
148
+
change is not wanted after all, and will therefore close it.`,
116
149
// --Abandoned--
117
-
"Abandoned:nearly": `@${author} I haven't seen any activity on this PR in more than three weeks, and it still has problems that prevent it from being merged. The PR will be closed on ${expires} (in a week) if the issues aren't addressed.`,
118
-
"Abandoned:done": `@${author} To keep things tidy, we have to close PRs that aren't mergeable and don't have activity in the last month. No worries, though — please open a new PR if you'd like to continue with this change. Thank you!`,
150
+
"Abandoned:nearly": txt`
151
+
|@${author} I haven't seen any activity on this PR in more than three weeks, and it
152
+
still has problems that prevent it from being merged. The PR will be closed on
153
+
${expires} (in a week) if the issues aren't addressed.`,
154
+
"Abandoned:done": txt`
155
+
|@${author} To keep things tidy, we have to close PRs that aren't mergeable and don't
156
+
have activity in the last month. No worries, though — please open a new PR if you'd
157
+
like to continue with this change. Thank you!`,
119
158
// --Unreviewed--
120
-
"Unreviewed:nearly": `Re-ping ${ownerPing}:
121
-
122
-
This PR has been out for over a week, yet I haven't seen any reviews.
123
-
124
-
Could someone please give it some attention? Thanks!`,
125
-
"Unreviewed:done": `It has been more than two weeks and this PR still has no reviews.
126
-
127
-
I'll bump it to the DT maintainer queue. Thank you for your patience, @${author}.
128
-
129
-
(Ping ${ownerPing}.)`}as{[k: string]: string};
159
+
"Unreviewed:nearly": txt`
160
+
|Re-ping ${ownerPing}:
161
+
|
162
+
|This PR has been out for over a week, yet I haven't seen any reviews.
163
+
|
164
+
|Could someone please give it some attention? Thanks!`,
165
+
"Unreviewed:done": txt`
166
+
|It has been more than two weeks and this PR still has no reviews.
167
+
|
168
+
|I'll bump it to the DT maintainer queue. Thank you for your patience, @${author}.
` I see this is your first time submitting to DefinitelyTyped 👋 — I'm the local bot who will help you through the process of getting things through.`;
373
+
txt`| I see this is your first time submitting to DefinitelyTyped 👋
374
+
— I'm the local bot who will help you through the process of getting things through.`;
374
375
display(`@${info.author} Thank you for submitting this PR!${specialWelcome}`,
375
376
``,
376
377
`***This is a live comment which I will keep updated.***`);
@@ -448,7 +449,9 @@ function createWelcomeComment(info: ExtendedPrInfo, post: (c: Comments.Comment)
448
449
}
449
450
if(addedSelfToManyOwners>0){
450
451
display(``,
451
-
`@${info.author}: I see that you have added yourself as an owner${addedSelfToManyOwners>1 ? " to several packages" : ""}, are you sure you want to [become an owner](${urls.definitionOwners})?`);
452
+
txt`@${info.author}: I see that you have added yourself as an
453
+
owner${addedSelfToManyOwners>1 ? " to several packages" : ""},
454
+
are you sure you want to [become an owner](${urls.definitionOwners})?`);
452
455
}
453
456
454
457
// Lets the author know who needs to review this
@@ -458,18 +461,26 @@ function createWelcomeComment(info: ExtendedPrInfo, post: (c: Comments.Comment)
458
461
if(info.blessingKind==="merge"){
459
462
display("This PR can be merged.");
460
463
}elseif(info.hasNewPackages){
461
-
display(`This PR adds a new definition, so it needs to be reviewed by ${requiredApprover} before it can be merged.`);
464
+
display(txt`This PR adds a new definition, so it needs to be reviewed by
display(`Because this PR edits the configuration file, it can be merged once it's reviewed by ${requiredApprover}.`);
482
+
display(txt`Because this PR edits the configuration file, it can be merged
483
+
once it's reviewed by ${requiredApprover}.`);
473
484
}elseif(info.blessingKind!=="review"){
474
485
display(`This PR can be merged once it's reviewed by ${requiredApprover}.`);
475
486
}else{
@@ -518,9 +529,12 @@ function createWelcomeComment(info: ExtendedPrInfo, post: (c: Comments.Comment)
518
529
519
530
display(``);
520
531
if(!info.canBeSelfMerged){
521
-
display(`Once every item on this list is checked, I'll ask you for permission to merge and publish the changes.`);
532
+
display(txt`Once every item on this list is checked,
533
+
I'll ask you for permission to merge and publish the changes.`);
522
534
}else{
523
-
display(`All of the items on the list are green. **To merge, you need to post a comment including the string "Ready to merge"** to bring in your changes.`);
535
+
display(txt`All of the items on the list are green.
536
+
**To merge, you need to post a comment including the string "Ready to merge"**
0 commit comments