{
  "permissions": {
    "deny": [
      "Bash(git push *)"
    ]
  }
}