Comment by _kb

And a `git push -f` on physically separated key switches that require two people to operate.