From 7d4303a0e951c50820cad1fa2c16d15dd980f79b Mon Sep 17 00:00:00 2001 From: Jan Larwig Date: Sun, 21 Jan 2024 12:42:03 +0100 Subject: [PATCH] Update docs/docs/configuration/providers/github.md Co-authored-by: Koen van Zuijlen <8818390+kvanzuijlen@users.noreply.github.com> --- docs/docs/configuration/providers/github.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/docs/configuration/providers/github.md b/docs/docs/configuration/providers/github.md index 4414097675..781ccbf17e 100644 --- a/docs/docs/configuration/providers/github.md +++ b/docs/docs/configuration/providers/github.md @@ -20,8 +20,8 @@ To restrict by organization only, include the following flag: To restrict within an organization to specific teams, include the following flag in addition to `-github-org`: -``` - --github-team="": restrict logins to members of any of these teams (slug), separated by a comma +```shell + --github-team="" # restrict logins to members of any of these teams (slug), separated by a comma ``` If you would rather restrict access to collaborators of a repository, those users must either have push access to a