René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Migration of the GitHub bot from our infra to GitHub actions","articleBody":"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).\r\n\r\nI'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.\r\n\r\nThose features are:\r\n- Ping code owners when a PR is opened: https://github.com/nodejs/github-bot/blob/main/scripts/node-ping-owners.js\r\n- 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\r\n- 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)\r\n\r\n@nodejs/actions @nodejs/github-bot ","author":{"url":"https://github.com/targos","@type":"Person","name":"targos"},"datePublished":"2023-12-20T13:01:29.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":6},"url":"https://github.com/51236/node/issues/51236"}