Here you will find the device, kernel and vendor trees for the Dior, which is the codename for the Xiaomi Redmi Note 4G single SIM, as well as a tutorial on how to use these repos :)

Sources URLs:

Syncing the trees manually using Repo:

1. Create a new XML file in ".repo/local_manifests" or open your existing local manifest. For more info on the local manifest, check CyanogenMod's wiki
2. Add the following lines to the manifest file: <remote name="dior" fetch="https://github.com"/> <project name="haoyangw/android_vendor_xiaomi_dior" path="vendor/xiaomi/dior" remote="dior" revision="stable-cm12" /> <project name="haoyangw/android_device_xiaomi_dior" path="device/xiaomi/dior" remote="dior" revision="cm-12.0-stable" /> <project name="haoyangw/android_kernel_xiaomi_dior" path="kernel/xiaomi/dior" remote="dior" revision="aud" />
3. Lastly, do a repo sync haoyangw/android_device_xiaomi_dior haoyangw/android_kernel_xiaomi_dior haoyangw/android_vendor_xiaomi_dior

And that's it! Feel free to modify the sources and make your builds :) But of course, do share ;)