Debmonitor should show the Debian version-id in the OS column, instead of simply "Debian".
The change involves two systems:
- debmonitor-client - the script needs to be able to recognize the version-id and push it to the debmonitor backend.
- debmonitor (backend) - the django app needs to be able to update the OS version according to what debmonitor-client reports.
The change for debmonitor-client was merged in https://gerrit.wikimedia.org/r/c/operations/software/debmonitor-client/+/1043780, and deployed manually on build2001 only (other nodes being reimaged may pick up the new version as well).