There are 0 repository under redmi4pro topic.
Redmi 4 prime (markw/msm8953) stock kernel with proper defconfig and wifi driver.