@timokau I don’t see why should we implement this our selves from scratch within ofborg ([WIP] Labels by Ekleog · Pull Request #216 · NixOS/ofborg · GitHub). From a Google search and a GitHub’s Marketplace search, I’ve found these alternatives which might interest us:
- GitHub - facelessuser/label-bot: A GitHub App for managing labels - not a one click install GitHub App, but I think you’ll like this feature.
- Trafico · GitHub Marketplace · GitHub - Seems to implement most of what we want automatically, besides letting non committers change labels with comments as in facelessuser/label-bot#lgtm.
- Label approved pull requests · Actions · GitHub Marketplace · GitHub - Implements only a subset of the features we’d like to have but still worth mentioning in this list.
- https://github.com/marketplace/devbots-needs-review - Again, implements only a subset of the features we’d like to have but still worth mentioning as it may be coupled with other bots / actions for completeness.
Also for issues, there are some interesting apps:
- Issue-Label Bot · GitHub Marketplace · GitHub - The most interesting one in this list IMO.
- https://mlbot.net/
- GitHub Apps - Responder · GitHub