{
  "allow_servers": ["github", "linear"],
  "deny_tools": ["github:delete_repository", "merge_pull_request"],
  "ask_tools": ["github:create_pull_request"]
}