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

Auto-assign PRs #5258

Merged
merged 1 commit into from
Aug 22, 2023
Merged

Auto-assign PRs #5258

merged 1 commit into from
Aug 22, 2023

Conversation

sgowroji
Copy link
Member

@sgowroji sgowroji commented Aug 18, 2023

Auto-assign PRs based on attached labels

Auto assign the pull requests based on the attached labels.
@sgowroji sgowroji added the awaiting-review Awaiting review from Bazel team on PRs label Aug 18, 2023
@sgowroji sgowroji marked this pull request as ready for review August 18, 2023 13:35
@github-actions github-actions bot removed the awaiting-review Awaiting review from Bazel team on PRs label Aug 18, 2023
@keertk keertk changed the title Auto assign Pull requests Auto-assign PRs Aug 18, 2023
@keertk keertk assigned sgowroji and mai93 and unassigned keertk and sgowroji Aug 18, 2023
@sgowroji sgowroji added the awaiting-review Awaiting review from Bazel team on PRs label Aug 21, 2023
@mai93 mai93 merged commit 68310a1 into master Aug 22, 2023
10 checks passed
@github-actions github-actions bot removed the awaiting-review Awaiting review from Bazel team on PRs label Aug 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Development

Successfully merging this pull request may close these issues.

3 participants