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

Allow to randomly request a review #1425

Merged
merged 3 commits into from
Sep 30, 2020
Merged

Allow to randomly request a review #1425

merged 3 commits into from
Sep 30, 2020

Conversation

jd
Copy link
Member

@jd jd commented Sep 25, 2020

feat(utils): add get_random_choice

feat(request_reviews): allow to pick random user/teams

This adds a new option random_count to the request_reviews action which
allows to randomly select users and teams to request a review.

Weight can be assigned to users and teams.

The selected set of teams and users is always the same for a particular pull
request.

Related #1388

@mergify mergify bot requested a review from a team September 25, 2020 17:12
@jd jd changed the title Pull request for random-assign Allow to randomly request a review Sep 25, 2020
@jd jd marked this pull request as draft September 25, 2020 19:25
jd added 2 commits September 29, 2020 10:20
This adds a new option `random_count` to the request_reviews action which
allows to randomly select users and teams to request a review.

Weight can be assigned to users and teams.

The selected set of teams and users is always the same for a particular pull
request.

Related #1388
@jd jd marked this pull request as ready for review September 29, 2020 11:03
@mergify mergify bot merged commit 948c1e8 into Mergifyio:master Sep 30, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants