Let’s examine a thirst option: is there anyone else who would be interested in leading the devops working group? I would happily transfer responsibilities to them.
Let’s consider the DevOps WG dissolved, and consider Build-Test-Release and Large Instances to be their own top-level working groups again.