| The IRC Bot has been deprecated is no longer in use as the Jenkins Infrastructure team has moved to Matrix. The previous functions available through IRC Bot are now unavailable. For repository management issues, you can submit a ticket to the Jenkins infra help desk. Issue reporting and tracking can be found via the GitHub issues list. GitHub permission requests and other repository permission requests can be submitted to the Repository Permission Updater repository. |