Hi, the GNU project runs its own debbugs server, debbugs.gnu.org. In order to improve robustness, we would like to run supervision software like nagios which reports the system health. This shouldn't contain only the basic information, but also health indicators about debbugs itself.
What does the Debian project use? Do you run supervision software on bugs.debian.org, and which one? Could you share your configuration? Thanks, and best regards, Michael.