Failing to add a new repository

Hi, we've just moved a repository from a organisation member to the organisation directly and despite having enabled (and disabled) the repo a couple of times if fails to show up in the dashboard together with the other pre-existing repos.

This is the URL of the GH repo: https://github.com/rust-embedded/bare-metal and I've now quadruple checked the settings and compared item by item with other working ones. Any idea?