f190712b7f35988cbf8520f6794ea99e91b8a630 is missing its r/* ref

#224
Opened by sterni at 2022-12-04T16·51+00

Apparent from the log. Luckily, the numbering was continued correctly, so the r/ invariant that it corresponds to the number of commits still holds.

  1. Luckily, the numbering was continued correctly,

    Yeah, the numbering is deterministic, not stateful.

    What's likely to have happened is that something failed in CI for this commit, and it didn't push the ref. I'll push it manually.

    tazjin at 2022-12-16T10·45+00

  2. something failed in CI

    Actually that's not what happened, this was a manually pushed migration commit for some Gerrit updates that Luke did, so it never passed through CI.

    tazjin at 2022-12-16T10·45+00

  3. Fixed manually.

    tazjin at 2022-12-16T10·54+00

  4. tazjin closed this issue at 2022-12-16T10·54+00