{
  "permissions": {
    "allow": [
      "WebFetch(domain:github.com)",
      "WebFetch(domain:api.github.com)",
      "WebFetch(domain:ispc.godbolt.org)",
      "Bash(gh:*)",
      "Bash(git status:*)",
      "Bash(git diff:*)",
      "Bash(git log:*)",
      "Bash(git add:*)",
      "Bash(git commit:*)",
      "Bash(git fetch:*)",
      "Bash(git checkout:*)",
      "Bash(git branch:*)",
      "Bash(git push:*)",
      "Bash(git pull:*)",
      "Bash(git stash:*)",
      "Bash(git rebase:*)",
      "Bash(git merge:*)",
      "Bash(git cherry-pick:*)",
      "Bash(git show:*)",
      "Bash(git rev-parse:*)",
      "Bash(cmake -B:*)",
      "Bash(cmake --build:*)",
      "Bash(TEST=* cmake --build:*)",
      "Bash(PATH=* cmake --build:*)",
      "Bash(build/bin/ispc:*)",
      "Bash(PATH=*build/bin:* ./scripts/run_tests.py:*)",
      "Bash(clang-format:*)",
      "Bash(python3:*)",
      "Bash(curl:*)",
      "Bash(jq:*)",
      "Bash(ls:*)",
      "Bash(rm:*)",
      "Bash(mkdir:*)",
      "Bash(cp:*)",
      "Bash(mv:*)",
      "Bash(touch:*)",
      "Bash(diff:*)",
      "Bash(head:*)",
      "Bash(tail:*)",
      "Bash(wc:*)",
      "Bash(pwd:*)",
      "Bash(which:*)",
      "Bash(realpath:*)",
      "Bash(llvm-dis:*)",
      "Bash(opt:*)",
      "Bash(llc:*)",
      "Bash(FileCheck:*)"
    ]
  }
}
