Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add action to close stale PR #323

Merged
merged 2 commits into from
Jan 7, 2023
Merged

Add action to close stale PR #323

merged 2 commits into from
Jan 7, 2023

Conversation

rdwebdesign
Copy link
Member

What does this PR aim to accomplish?

Add an action to verify every PR marked with Merge Conflict label and automatically close it.

How the action works

The action will close (actually, mark as stale and close immediately) any PR that have been labeled with 'merge conflict' 30 (or more) days earlier. This action will run once a day.

The action will ignore:

  • every PR without Merge Conflict label;
  • every PR with internal, never-stale, ON HOLD, WIP labels;
  • draft PR.

By submitting this pull request, I confirm the following:

  1. I have read and understood the contributors guide, as well as this entire template. I understand which branch to base my commits and Pull Requests against.
  2. I have commented my proposed changes within the code and I have tested my changes.
  3. I am willing to help maintain this change if there are issues with it later.
  4. It is compatible with the EUPL 1.2 license
  5. I have squashed any insignificant commits. (git rebase)
  6. I have checked that another pull request for this purpose does not exist.
  7. I have considered, and confirmed that this submission will be valuable to others.
  8. I accept that this submission may not be used, and the pull request closed at the will of the maintainer.
  9. I give this submission freely, and claim no ownership to its content.

  • I have read the above and my PR is ready for review. Check this box to confirm

Signed-off-by: RD WebDesign <[email protected]>
@rdwebdesign rdwebdesign requested a review from a team December 30, 2022 21:20
Signed-off-by: RD WebDesign <[email protected]>
@rdwebdesign rdwebdesign requested a review from yubiuser January 6, 2023 21:58
@yubiuser yubiuser merged commit 318d9d8 into master Jan 7, 2023
@yubiuser yubiuser deleted the action_close_stale_pr branch January 7, 2023 15:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants