Skip to content

Misc docs index & development section improvements#11839

Merged
borkmann merged 2 commits intocilium:masterfrom
joestringer:submit/dev-guide-fixups
Jun 2, 2020
Merged

Misc docs index & development section improvements#11839
borkmann merged 2 commits intocilium:masterfrom
joestringer:submit/dev-guide-fixups

Conversation

@joestringer
Copy link
Copy Markdown
Member

I noticed a few links and omissions in the main docs index and in the development guide sections, fix them up.

* Development guide is a development guide, which if called "getting
  started" has a name collision with the user-oriented GSGs linked
  earlier.
* The network policy section has a high-level intro, so we should link
  that for network policies rather than directly to the policy enforcement
  modes link

Signed-off-by: Joe Stringer <joe@cilium.io>
The cilium section here was including non-agent cilium components such
as the bpf datapath and plugins, so rename it. While we're at it, add
some other non-agent components that were previously missed.

Signed-off-by: Joe Stringer <joe@cilium.io>
@joestringer joestringer added release-note/misc This PR makes changes that have no direct user impact. needs-backport/1.8 labels Jun 2, 2020
@joestringer joestringer requested review from a team as code owners June 2, 2020 20:30
@borkmann borkmann merged commit 504e5de into cilium:master Jun 2, 2020
@coveralls
Copy link
Copy Markdown

Coverage Status

Coverage decreased (-0.03%) to 36.892% when pulling 52376ac on joestringer:submit/dev-guide-fixups into a20dcd1 on cilium:master.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release-note/misc This PR makes changes that have no direct user impact.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants