This is our repo where stuff related to official devices is stored.
You also need to use this to apply for official maintainership for your device.