Skip to content

Commit 7a41571

Browse files
committed
Merge branch 'main' into feature/foundry-release-main-merge
2 parents bd7577d + eb9243f commit 7a41571

2 files changed

Lines changed: 54 additions & 23 deletions

File tree

.github/policies/pr.stale.yml

Lines changed: 52 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,52 @@
1+
id: pr.stale
2+
name: GitOps.PullRequestIssueManagement
3+
description: Mark and close stale pull requests
4+
owner:
5+
resource: repository
6+
disabled: false
7+
where:
8+
configuration:
9+
resourceManagementConfiguration:
10+
scheduledSearches:
11+
- description: Mark PRs with no activity for 14 days as stale
12+
frequencies:
13+
- weekday:
14+
day: Monday
15+
time: 13:0
16+
filters:
17+
- isPullRequest
18+
- isOpen
19+
- isNotLabeledWith:
20+
label: no-recent-activity
21+
- noActivitySince:
22+
days: 14
23+
actions:
24+
- addLabel:
25+
label: no-recent-activity
26+
- addReply:
27+
reply: >-
28+
Hi @${issueAuthor}.
29+
Your PR has had no activity for 14 days and is marked as stale. If no further updates are made within 14 days, this PR will automatically be closed.
30+
To keep this PR active, please remove the `no-recent-activity` label or push new changes.
31+
32+
- description: Close PRs that have been stale for 14 more days (28 days total)
33+
frequencies:
34+
- weekday:
35+
day: Monday
36+
time: 13:0
37+
filters:
38+
- isPullRequest
39+
- isOpen
40+
- hasLabel:
41+
label: no-recent-activity
42+
- noActivitySince:
43+
days: 14
44+
actions:
45+
- closeIssue
46+
- addReply:
47+
reply: >-
48+
Hi @${issueAuthor}.
49+
This PR has been closed since it had no activity for 28 days. If you still need this change, please reopen the PR and @mention the assignee for review.
50+
51+
onFailure:
52+
onSuccess:

.github/policies/resourceManagement.yml

Lines changed: 2 additions & 23 deletions
Original file line numberDiff line numberDiff line change
@@ -41,42 +41,21 @@ configuration:
4141
label: no-recent-activity
4242
- addReply:
4343
reply: Hi, we're sending this friendly reminder because we haven't heard back from you in a while. We need more information about this issue to help address it. Please be sure to give us your input within the next **7 days**. If we don't hear back from you within **14 days** of this comment the issue will be automatically closed. Thank you!
44-
- description:
45-
frequencies:
46-
- weekday:
47-
day: Monday
48-
time: 0:0
49-
filters:
50-
- noActivitySince:
51-
days: 14
52-
- isOpen
53-
- isNotLabeledWith:
54-
label: no-recent-activity
55-
- isNotLabeledWith:
56-
label: customer-reported
57-
- isPullRequest
58-
- isNotDraftPullRequest
59-
actions:
60-
- addReply:
61-
reply: 'Hi, @${issueAuthor}. Your PR has no update for 14 days and it is marked as stale PR. If no further update for over 14 days, the bot will close the PR. If you want to refresh the PR, please remove `no-recent-activity` label. '
62-
- addLabel:
63-
label: no-recent-activity
6444
- description:
6545
frequencies:
6646
- daily:
6747
time: 13:0
6848
filters:
49+
- isIssue
6950
- isOpen
7051
- hasLabel:
7152
label: no-recent-activity
7253
- noActivitySince:
7354
days: 14
74-
- isNotLabeledWith:
75-
label: customer-reported
7655
actions:
7756
- closeIssue
7857
- addReply:
79-
reply: Hi, @${issueAuthor}. The PR will be closed since the PR has no update for 28 days. If you still need the PR review to proceed, please reopen it and @ mention PR assignee.
58+
reply: Hi, @${issueAuthor}. This issue has been closed since it had no activity for 14 days after being marked as stale. If you still need help, please reopen it.
8059
eventResponderTasks:
8160
- if:
8261
- payloadType: Issue_Comment

0 commit comments

Comments
 (0)