Kodi repository missing

I’ve just set up my new Vero 4k+ and thought it was odd that some of the add-ons I had on my Pi were missing. On closer inspection there’s no Kodi repo at all. Just wondering if there’s any way I can manually add / repair it or am I better off just wiping and starting again?

The repository will be there, especially if it’s a fresh install. It will be called OSMC Repository. The repository ID will be the same though, so if you transfer any add-ons from another system they will still automatically update.

Why the rename ? just curious

It was requested by Kodi.

Due to the trademark ?

No - because they are on different servers.

ahh so this is hosted by the project which means you can add stuff to it and have it as a more custom repo