{
  "permissions": {
    "allow": [
      "Bash(git remote add origin 192.168.88.81:/Users/timmy/88_81/gitea && git remote -v)"
    ]
  }
}