[10:02] <rogpeppe> dunno if anyone's around, but does anyone know why the merge bot doesn't seem to be working in github.com/juju/cmd ?