Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Wrong name for dependency info page #500

Closed
GCHQDeveloper314 opened this issue May 31, 2024 · 0 comments · Fixed by #501
Closed

Wrong name for dependency info page #500

GCHQDeveloper314 opened this issue May 31, 2024 · 0 comments · Fixed by #501
Assignees
Labels
bug Confirmed or suspected bug/problem/error/mistake
Milestone

Comments

@GCHQDeveloper314
Copy link
Member

In PR #383 the name of the "Managing dependencies in Gaffer" page was changed to spring.md by mistake and the name in the MKDocs navigation was also changed to "Spring". This should be fixed.

@GCHQDeveloper314 GCHQDeveloper314 added the bug Confirmed or suspected bug/problem/error/mistake label May 31, 2024
@GCHQDeveloper314 GCHQDeveloper314 added this to the v2.3.0 milestone May 31, 2024
@GCHQDeveloper314 GCHQDeveloper314 self-assigned this May 31, 2024
GCHQDeveloper314 added a commit that referenced this issue Jun 3, 2024
Rename page and MKDocs navigation entry
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Confirmed or suspected bug/problem/error/mistake
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant