The one place for your designs
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.
Change proprietarty repos from github to gitlab in case device is xiaomi
Hi,
TheMuppets proprietary content for Xiaomi devices has been removed from github, however, it can be found on Gitlab.
It is a quickfix: redirect_muppets_repo.patch
This should be done only for Xiaomi devices, as the new url has only Xiaomi stuff in place. For a better solution maybe the script should merge the two proprietary.xmls?
Cheers, Krisztián