This is the local manifest for syncing Redmi Note 5A Lite/Prime Device Trees automatically.
- TWRP 9.0 based recoveries
$ cd path-to-android-source-tree
$ mkdir .repo/local_manifests
$ wget [Raw URI of the corresponding manifest] -O .repo/local_manifests/ulysse.xml
$ repo sync
ugglite
: Only for Lite variant.ugg
: Only for Prime variant.ulysse
: Unified, Usable on both Lite and Prime variants.
Follow the instructions on here.