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