aws-cdk
aws-cdk copied to clipboard
aws
chore: add core team members to mergify and merit badger
From now on, we need to keep our core members in sync between mergify and merit badger. I can't think of a good way to automate this (yet) while keeping the github actions separate. We could simply filter for PRs that have the contribution/core label that mergify adds, but there is a race condition here and contribution/core may not be added before the merit badger is run.
![gitpod-io[bot] avatar](https://avatars.githubusercontent.com/in/23396?v=4 "Published by a pub.dev verified publisher"){kind=small}
I am not sure but maybe the username for bots should be dependabot[bot] and mergify[bot]?
The bots should be correctly ignored by #22192. I'm wary of adding [bot] to the list of ignore usernames because the [ keyword will mess with the input and isn't allowed for normal usernames anyway. The docs also point to ignoring bot accounts using if conditions rather than anything else.
Thank you for contributing! Your pull request will be updated from main and then merged automatically (do not update manually, and be sure to allow changes to be pushed to your fork).
![mergify[bot] avatar](https://avatars.githubusercontent.com/in/10562?v=4 "Published by a pub.dev verified publisher"){kind=small}
Thank you for contributing! Your pull request will be updated from main and then merged automatically (do not update manually, and be sure to allow changes to be pushed to your fork).
requeue
❌ This pull request head commit has not been previously disembarked from queue.
Thank you for contributing! Your pull request will be updated from main and then merged automatically (do not update manually, and be sure to allow changes to be pushed to your fork).
AWS CodeBuild CI Report
- CodeBuild project: AutoBuildv2Project1C6BFA3F-wQm2hXv2jqQv
- Commit ID: 4a6c15c3881989d8853211448d61cb27371a6c6d
- Result: SUCCEEDED
- Build Logs (available for 30 days)
Powered by github-codebuild-logs, available on the AWS Serverless Application Repository
