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