{
  "permissions": {
    "allow": [
      "Bash(curl -s -o /dev/null -w \"%{http_code}\" https://tea.jr-family.de/api/v1/repos/Admin/gartenmanager)",
      "Bash(git -C c:/Projekte/Home/gartenmanager config --get credential.helper)",
      "Bash(git credential:*)",
      "Bash(python3 -m json.tool)",
      "Bash(git -C c:/Projekte/Home/gartenmanager credential fill)",
      "Bash(python3 -c \"import sys,json; r=json.load\\(sys.stdin\\); print\\('allow_squash_merge:', r.get\\('allow_squash_merge'\\), '| default_merge_style:', r.get\\('default_merge_style'\\)\\)\")"
    ]
  }
}