{ "permissions": { "allow": [ "Bash(git remote:*)", "Bash(git pull:*)", "Bash(git checkout:*)", "Bash(git merge:*)", "Bash(git push:*)", "Bash(git add:*)" ] } }