The Jenkins project uses multiple bots account for various needs. This document is a non exhaustive list of them.
| profile | owner |
|---|---|
This bot is used to automate any tasks related to releases that need Github integration
Ex:
-
Release jenkinsci/jenkins
-
Release jenkinsci/remoting
-
Used from release.ci.jenkins.io
| profile | owner |
|---|---|
This bot is used to for various infrastructure task that required Github integration. It is also used for integration GitHub org management.
ex:
-
pluginsite configuration
-
jenkinsadmin IRC bot
| profile | owner |
|---|---|
This bot is the first GitHub bot used in the Jenkins Infrastructure.
ex:
-
Automatically open pull request
-
Some Pipeline steps and operations on ci.jenkins.io
Remark: We don’t have access to this bot anymore and we need Kohsuke to transfer the ownership
Remark: Before July 30th, 2020 the bot was also used in GitHub org Folder organizations on ci.jenkins.io. It is replaced by ci.jenkins.io GitHub App.