tree 23f299c22f1b40014e9bf7bfca47b1788c1f7f28
parent 91c0397b2f8eab309e0958afa1746c2a2d02b433
author Serge Bazanski <serge@monogon.tech> 1698688560 +0100
committer Serge Bazanski <serge@monogon.tech> 1698703921 +0000

metropolis: renamed DISOWNED to DECOMMISSIONED

This seems like a better name, and the old one was never actually used
anywhere.

Change-Id: I66b17a9145225828bb978c999bbecd5118188389
Reviewed-on: https://review.monogon.dev/c/monogon/+/2269
Tested-by: Jenkins CI
Reviewed-by: Lorenz Brun <lorenz@monogon.tech>