|Update GitHub repository topics||We want to make it easier for our users filtering for groups of repositories belonging together. |
Repository topics would solve this.
|Update GitHub repository description and URL|
|Archive/Unarchive a GitHub repository||From time to time we deprecate modules. We do not want to delete their repositories but rather lock them down and make it clear that they are no longer maintained. The GitHub archive feature would fulfill this.|
|Disable JIRA Integration|
By default GitHub pull request creation/closing and any comments are added as comments to the linked Jira issues. Since this is also sent to the mailing list there is lots of unwanted noise. We have asked infra once to change this setting (
|Jenkins Github hook configuration|
We are moving to a Github-centric Jenkins model (