Skip to content

Commit

Permalink
pr_labeler: exempt bots from porting_guide check
Browse files Browse the repository at this point in the history
For example, patchback is not a release manager, but we still want it to
backport Porting Guide PRs.
  • Loading branch information
gotmax23 committed Oct 18, 2023
1 parent 76bb15a commit ae2ec36
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion hacking/pr_labeler/label.py
Original file line number Diff line number Diff line change
Expand Up @@ -243,8 +243,13 @@ def no_body_nag(ctx: IssueOrPrCtx) -> None:

def warn_porting_guide_change(ctx: PRLabelerCtx) -> None:
"""
Complain if a user outside of the Release Management WG changes porting_guide
Complain if a non-bot user outside of the Release Management WG changes
porting_guide
"""
user = ctx.pr.user.login
if user.endswith("[bot]"):
return

# If the API token does not have permisisons to view teams in the ansible
# org, fall back to an empty list.
members = []
Expand Down

0 comments on commit ae2ec36

Please sign in to comment.