Simply add a
.github/tasting-menu.yml file with the following:
pull_request: merged: - username: github-username-1 frequency: 0.5 - username: github-username-2 frequency: 0.25 - username: github-username-3 frequency: 0.33 - username: github-username-4 frequency: 0.75
Every time a pull request is merged, each user in the list will be notified via
a comment based on their frequency. For example,
github-username-1 will be
notified 50% of the time.