Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Add sections in documentation navigation bar #1930
referenced this pull request
Nov 15, 2018
@Bultako - Thanks!
I think it's fine now, and better than before. I like that all user-facing stuff is first (also changelog) and the developer docs at the end. I also like the three-part section titles of the navbar.