Skip to content
Browse files
Merge-queue error message about missing user permissions from contrib…
…utors.json should indicate how to fix it

Reviewed by Jonathan Bedard.

* Tools/CISupport/ews-build/

Canonical link:
git-svn-id: 268f45cc-cd09-0410-ab3c-d52691b4dbfc
  • Loading branch information
aj062 committed Apr 28, 2022
1 parent 09745d2 commit 11063922260986cff79ee4c4cb788d5fee45e5ec
Showing 1 changed file with 1 addition and 0 deletions.
@@ -1528,6 +1528,7 @@ def fail_build(self, email_or_username, status):
if patch_id:
comment += f'\n\nRejecting attachment {patch_id} from commit queue.'
elif pr_number:
comment += f'\n\nIf you do have {status} permmissions, please ensure that your GitHub username is added to contributors.json.'
comment += f'\n\nRejecting {self.getProperty("github.head.sha", f"#{pr_number}")} from merge queue.'
self.setProperty('comment_text', comment)

0 comments on commit 1106392

Please sign in to comment.