08:36 DavidHeidelberg: adavy: I'm not sure, I just rebased manually, pushed and assigned Marge
08:36 DavidHeidelberg: Maybe there was some transition bug in CI when you tried merge.