[17:33] <Pici> bots should be returning
[18:32] <hggdh> Pici: "ubottu: failed to get op in #ubuntu" (as reported on #u-ops-monitor). Is it an issue, or is all kosher?