nodejs/node
Auf GitHub ansehenMigration of the GitHub bot from our infra to GitHub actions
Open
#51.236 geöffnet am 20. Dez. 2023
buildhelp wantedmeta
Repository-Metriken
- Stars
- (117.218 Stars)
- PR-Merge-Metriken
- (Durchschn. Merge 18T 17h) (219 gemergte PRs in 30 T)
Beschreibung
Maintenance of the GitHub bot has become a problem. The machine it's running on is on a quite old version of Debian that doesn't support recent versions of Node.js and we have very few people who know and work on the bot's code (https://github.com/nodejs/github-bot).
I'd like to know if collaborators would be willing to help with a migration of the bot's features to GitHub actions and/or Jenkins plugins/scripts that talk directly to GitHub.
Those features are:
- Ping code owners when a PR is opened: https://github.com/nodejs/github-bot/blob/main/scripts/node-ping-owners.js
- Update GitHub commit status or post PR comments when Jenkins jobs are started / finished: https://github.com/nodejs/github-bot/blob/main/lib/push-jenkins-update.js
- Respond to some Jenkins requests by relaying them to GitHub: https://github.com/nodejs/github-bot/blob/0cfe624c138c033f9ba2cd9f4e6e42bc8610a327/scripts/event-relay.js#L10C40-L10C40 (not sure what this is used for)
@nodejs/actions @nodejs/github-bot