Skip to content

Commit 91baa44

Browse files
committed
docs: leave the GitHub tutorial log fix to the policy docs PR
The policy documentation rewrite (#3563) makes the same change to the GitHub tutorial's log command and sample line. Restore the tutorial here so the two pull requests do not conflict. Signed-off-by: Johnny Greco <jogreco@nvidia.com>
1 parent 9df5471 commit 91baa44

1 file changed

Lines changed: 2 additions & 6 deletions

File tree

‎docs/get-started/tutorials/github-sandbox.mdx‎

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -107,19 +107,15 @@ not grant the missing network authority.
107107
In terminal 2, inspect recent sandbox logs:
108108

109109
```shell
110-
openshell logs github-demo --since 5m --source sandbox
110+
openshell logs github-demo --level warn --since 5m
111111
```
112112

113113
You should see a denial for a request resembling this one:
114114

115115
```text
116-
[1775014140.412] [sandbox] [OCSF ] [ocsf] HTTP:POST [MED] DENIED POST http://github.com:443/<org>/<repo>.git/git-receive-pack [policy:_provider_my_github engine:l7] [reason:L7_REQUEST deny POST github.com:443/<org>/<repo>.git/git-receive-pack reason=POST /<org>/<repo>.git/git-receive-pack not permitted by policy]
116+
action=deny dst_host=github.com dst_port=443 binary=/usr/bin/git l7_action=POST l7_target=/<org>/<repo>.git/git-receive-pack
117117
```
118118

119-
The GitHub provider's rule, `_provider_my_github`, allows connections to
120-
`github.com` but not push requests. Do not filter this log with `--level warn`,
121-
which hides policy events.
122-
123119
You can also run `openshell term` to inspect policy decisions in the terminal
124120
dashboard.
125121

0 commit comments

Comments
 (0)