mirror of
https://github.com/jenkinsci/jenkins.git
synced 2026-10-26 19:15:09 +00:00
* Squashed commit of the following: * Rename section * Push * Update _plugin-manager.scss * Update _checkbox.scss * Reset files * Update _badges.scss * Update _badges.scss * Update _theme.scss * Remove label * Fix lint --------- Co-authored-by: Tim Jacomb <timjacomb1@gmail.com>