{
  "permissions": {
    "allow": [
      "Bash(then sed -i 's/styles\\.css\\(?v=[0-9]*\\)\\?/styles.css?v=4/g' \"$f\")",
      "Bash(do)",
      "Bash(if [ \"$f\" != \"home.html\" ])",
      "Bash([ \"$f\" != \"footer.html\" ])",
      "Bash([ \"$f\" != \"pre-footer.html\" ])",
      "Bash([ \"$f\" != \"style-guide.html\" ])",
      "Bash(then)",
      "Bash(if ! grep -q \"classList.toggle(''is-open'')\" \"$f\")",
      "Bash(srv-gw status:*)",
      "Bash(docker exec:*)"
    ],
    "deny": [],
    "ask": []
  }
}