Our own repos are automatically synced to our code mirror on github if they're tagged with the right tag.
But freshly tagged repos are not automatically added there and, I suppose, freshly untagged repos remain there.
We should automate these steps, to avoid the periodic appearance of issues like T824.