-
autosigner - Tool for automated signing of RPM packages (we use it with the Jenkins secret plugin)
-
repotools - Scripts for doing package repository tasks, such as build promotions
-
nagios - Nagios scripts used by Release Engineering
-
jenkins - Scripts and things for the Jenkins CI build system