page got renamed
← Revision 23 as of 2022-10-29 05:30:54
document the uptime monitoring service and IRC bot
|Deletions are marked like this.||Additions are marked like this.|
|Line 44:||Line 44:|
| * [[https://ben.jrtc27.com/|Transition tracker for binNMUs of unofficial ports]]
* [[https://monitor.jrtc27.com/|Uptime monitoring for buildds of unofficial ports]].
* Has associated IRC bot called PSIA that takes commands like "!monitor hosts ppc64" and "!monitor show blaauw"
This page is a complement to the official list of Debian ports.
If you would like to add a new port, please enter the codename of the new port in lower case. You will then be able to fill out the template with information about your port, have an idea of how to go about creating the port and read documentation below for more details.
|/arc /ia64 /loong64 /riscv64|
?Configuring the mail daemon on a buildd manually
- Has associated IRC bot called PSIA that takes commands like "!monitor hosts ppc64" and "!monitor show blaauw"