{ "keys": ["ctrl+1"], "command": "show_overlay", "args": {"overlay": "command_palette", "text": "Git: Add all"} },
{ "keys": ["ctrl+2"], "command": "show_overlay", "args": {"overlay": "command_palette", "text": "Git: Quick Commit (repo)"} },
{ "keys": ["ctrl+3"], "command": "show_overlay", "args": {"overlay": "command_palette", "text": "Git: Push"} },