Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
navi: init at 2.7.1 #94469
Motivation for this change
Closes #82476 (previous attempt at packaging it) since it seems to have stagnated.