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.

Sign up for GitHub

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

Jump to bottom

docs: move sitemap-index.xml to static directory #19681

Merged
merged 1 commit into from
May 4, 2022
Merged

docs: move sitemap-index.xml to static directory #19681

merged 1 commit into from
May 4, 2022

Conversation

aanm
Copy link
Member

@aanm aanm commented May 3, 2022

Since robots.txt file is now used in the 'html_extra_path' we will
move the sitemap-index.xml to the static directory. That way we can
robots can access the sitemap-index.xml file directly.

Signed-off-by: André Martins andre@cilium.io

@qmonnet almost there, this is definitely the last one!

@aanm
docs: move sitemap-index.xml to static directory
9ff0200 
Since robots.txt file is now used in the 'html_extra_path' we will
move the sitemap-index.xml to the static directory. That way we can
robots can access the sitemap-index.xml file directly.

Signed-off-by: André Martins <andre@cilium.io>
@aanm aanm added area/documentation Impacts the documentation, including textual changes, sphinx, or other doc generation code. needs-backport/1.11 labels May 3, 2022
@aanm aanm requested a review from a team as a code owner May 3, 2022 23:14
@aanm aanm requested a review from joestringer May 3, 2022 23:14
@maintainer-s-little-helper maintainer-s-little-helper bot added the dont-merge/needs-release-note-label The author needs to describe the release impact of these changes. label May 3, 2022
@maintainer-s-little-helper maintainer-s-little-helper bot added this to Needs backport from master in 1.11.5 May 3, 2022
@aanm aanm added the release-note/misc This PR makes changes that have no direct user impact. label May 3, 2022
@maintainer-s-little-helper maintainer-s-little-helper bot removed the dont-merge/needs-release-note-label The author needs to describe the release impact of these changes. label May 3, 2022
qmonnet
qmonnet approved these changes May 4, 2022
View reviewed changes
Copy link
Member

@qmonnet qmonnet left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@qmonnet almost there, this is definitely the last one!

😆 Awesome, thanks!

@qmonnet qmonnet added the ready-to-merge This PR has passed all tests and received consensus from code owners to merge. label May 4, 2022
@aanm aanm merged commit bb43425 into cilium:master May 4, 2022
@aanm aanm deleted the pr/fix-sitemap-index branch May 4, 2022 10:39
@kaworu kaworu mentioned this pull request May 9, 2022
Merged
@maintainer-s-little-helper maintainer-s-little-helper bot moved this from Needs backport from master to Backport pending to v1.10 in 1.11.5 May 9, 2022
@aanm aanm added backport-done/1.11 The backport for Cilium 1.11.x for this PR is done. and removed backport-pending/1.11 labels May 10, 2022
@aanm aanm mentioned this pull request May 10, 2022
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@qmonnet qmonnet qmonnet approved these changes

@joestringer joestringer Awaiting requested review from joestringer joestringer was automatically assigned from cilium/docs-structure

Assignees
No one assigned
Labels
area/documentation Impacts the documentation, including textual changes, sphinx, or other doc generation code. backport-done/1.11 The backport for Cilium 1.11.x for this PR is done. ready-to-merge This PR has passed all tests and received consensus from code owners to merge. release-note/misc This PR makes changes that have no direct user impact.
Projects
No open projects
1.11.5
Backport pending to v1.10
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@aanm @qmonnet @kaworu