Good for you -- the Sleepy kernel included in 7.9 kept soft-rebooting for me. As per the discussion here:
https://xdaforums.com/t/kernel-xiaomi-mi-a2-lite-sleepy-kernel.4235125/page-2, the repo you linked was archived and the author announced abandonment in some Telegram group. My question about this in the official thread was never answered by the author. This obviously prompted me to search for an alternative kernel, trying out Panda but settling for Rename.
Honestly I have no idea what's happening around Sleepy kernel. I just joined a Telegram group for daisy updates and installed the kernel that seemed the most active.