GitHub repository: sharkskin/lean-lede
Description: Lean's OpenWrt source