Open adentinger opened 1 year ago
Many GitHub projects use bots so that contributors/reviewers can trigger events on e.g. the pull requests (e.g. builds, code formatting, ...).
We should look at what sort of bot actions would be useful, and try to setup some.
Many GitHub projects use bots so that contributors/reviewers can trigger events on e.g. the pull requests (e.g. builds, code formatting, ...).
We should look at what sort of bot actions would be useful, and try to setup some.