Have a way to handle a repository supporting multiple device
At the moment, the scripts assume single deviceinfo
file. For some ports (e.g. https://gitlab.com/ubports/porting/community-ports/android10/xiaomi-redmi-9c/xiaomi-angelica), porters has modified the script so that it can build device tarballs for multiple, similar devices. At the moment we don't have anything like this, so file this issue so that we can gauge the need for this feature.