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

Do not try to remove stale label on PRs #1569

Merged
merged 2 commits into from
Jul 9, 2023
Merged

Do not try to remove stale label on PRs #1569

merged 2 commits into from
Jul 9, 2023

Conversation

yubiuser
Copy link
Member

PR master branch!

What does this PR aim to accomplish?:

PR #1552 added the workflow to remove the 'stale' label from issues immediately when a stale issue received new comments. However, the github event issue_comment also triggers on PR comments (see https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#issue_comment).

As we don't handle stale PR with this workflow PR write permission is not granted and the workflow will fail (see https://github.com/pi-hole/pi-hole/actions/runs/5109474838/jobs/9184306155)

This PR adds an additional check to verify the action is not triggered by comments on pull requests. (see https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#issue_comment-on-issues-only-or-pull-requests-only)


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

@yubiuser yubiuser changed the title Do not try to remove stale lables on PRs Do not try to remove stale label on PRs May 29, 2023
@yubiuser yubiuser requested a review from a team May 29, 2023 20:42
@yubiuser yubiuser marked this pull request as draft May 30, 2023 12:02
Signed-off-by: Christian König <[email protected]>
@yubiuser
Copy link
Member Author

Second commit should fix

Screenshot at 2023-05-31 21-58-01

@yubiuser yubiuser marked this pull request as ready for review May 31, 2023 20:11
@DL6ER
Copy link
Member

DL6ER commented Jul 8, 2023

@PromoFaux @dschaper Sorry for the ping, but this needs to go to master, hence a third pair of eyes needs to say: Yes.

@dschaper dschaper self-requested a review July 8, 2023 23:49
@DL6ER DL6ER merged commit 663d9ad into master Jul 9, 2023
@DL6ER DL6ER deleted the fix/un_stale branch July 9, 2023 10:20
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.

3 participants