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

[CI] Add a new action to check for stale PRs #582

Merged
merged 3 commits into from
Dec 13, 2024
Merged

[CI] Add a new action to check for stale PRs #582

merged 3 commits into from
Dec 13, 2024

Conversation

the-praxs
Copy link
Member

@the-praxs the-praxs commented Dec 13, 2024

📥 [CI] Add a new action to check for stale PRs

PR actions

  1. PR is marked with the stale label if no commits are made in 14 days.
  2. PR is closed 7 days after being marked stale.
  3. When the PR is labelled stale an appropriate comment is added to the PR by tagging the author.
  4. When the PR is closed the comment is added to the PR that its closed and can be reopened if required.
  5. If there is a commit from anyone in the PR the CI removes the stale label and resets the timer of the days until it's marked stale.
  6. No other labels are removed by the CI action so that we can search for them easily.

Copy link

gitguardian bot commented Dec 13, 2024

️✅ There are no secrets present in this pull request anymore.

If these secrets were true positive and are still valid, we highly recommend you to revoke them.
Once a secret has been leaked into a git repository, you should consider it compromised, even if it was deleted immediately.
Find here more information about risks.


🦉 GitGuardian detects secrets in your source code to help developers and security teams secure the modern development process. You are seeing this because you or someone else with access to this repository has authorized GitGuardian to scan your pull request.

@the-praxs the-praxs merged commit fbe476f into main Dec 13, 2024
1 check passed
@the-praxs the-praxs deleted the feat/stale-ci branch December 13, 2024 17:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants