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.