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
[portal] name not update in the navbar #399
When we rename an api, the navbar still display the old one.
The navbar displays the new name after the form is saved.
hit F5 to display the new one.
Steps to Reproduce (for bugs)