feat(git): add push operation to git_edit tool

- implement push functionality in GitTool with support for remote, branch, and force options
- update git_edit schema and system prompt to document push operation and its arguments
- add push command to help text and available operations
- update documentation in README.md and codecompanion-gitcommit.txt to include push usage and warnings

Author: jinzhongjia

README.md

@@ -150,7 +150,9 @@ In any CodeCompanion chat buffer, use `@git_read` or `@git_edit` to perform Git
 **GitIgnore Management**
 - `@git_edit gitignore_add --gitignore_rule "RULE"` - Add rule to .gitignore
 - `@git_edit gitignore_add --gitignore_rules ["rule1", "rule2"]` - Add multiple rules
-- `@git_edit gitignore_remove --gitignore_rule "RULE"` - Remove rule from .gitignore
+• `@git_edit gitignore_remove --gitignore_rule "RULE"` - Remove rule from .gitignore
+• `@git_edit push [--remote REMOTE] [--branch BRANCH] [--force BOOL]` - Push changes to a remote repository.
+  WARNING: `force` push is dangerous and can overwrite remote history. Use with extreme caution.
 
 #### Safety Features
 

doc/codecompanion-gitcommit.txt

@@ -416,6 +416,8 @@ GitIgnore Management~
 • `@git_edit gitignore_add --gitignore_rule "RULE"` - Add rule to .gitignore
 • `@git_edit gitignore_add --gitignore_rules ["rule1", "rule2"]` - Add multiple rules
 • `@git_edit gitignore_remove --gitignore_rule "RULE"` - Remove rule from .gitignore
+• `@git_edit push [--remote REMOTE] [--branch BRANCH] [--force BOOL]` - Push changes to a remote repository.
+  WARNING: `force` push is dangerous and can overwrite remote history. Use with extreme caution.
 
 7.4 Safety Features				*codecompanion-gitcommit-safety*
 

lua/codecompanion/_extensions/gitcommit/tools/git.lua

@@ -389,5 +389,24 @@ function GitTool.search_commits(pattern, count)
   return execute_git_command(cmd)
 end
 
+---Push changes to a remote repository
+---@param remote? string The name of the remote to push to (e.g., origin)
+---@param branch? string The name of the branch to push (defaults to current branch)
+---@param force? boolean Force push (DANGEROUS: overwrites remote history)
+---@return boolean success, string output
+function GitTool.push(remote, branch, force)
+  local cmd = "git push"
+  if force then
+    cmd = cmd .. " --force"
+  end
+  if remote then
+    cmd = cmd .. " " .. vim.fn.shellescape(remote)
+  end
+  if branch then
+    cmd = cmd .. " " .. vim.fn.shellescape(branch)
+  end
+  return execute_git_command(cmd)
+end
+
 M.GitTool = GitTool
 return M

lua/codecompanion/_extensions/gitcommit/tools/git_edit.lua

@@ -26,6 +26,7 @@ GitEdit.schema = {
             "reset",
             "gitignore_add",
             "gitignore_remove",
+            "push",
             "help"
           },
           description = "The write-access Git operation to perform."
@@ -79,6 +80,18 @@ GitEdit.schema = {
               type = "array",
               items = { type = "string" },
               description = "Multiple rules to add or remove from .gitignore"
+            },
+            remote = {
+              type = "string",
+              description = "The name of the remote to push to (e.g., origin)"
+            },
+            branch = {
+              type = "string",
+              description = "The name of the branch to push (defaults to current branch)"
+            },
+            force = {
+              type = "boolean",
+              description = "Force push (DANGEROUS: overwrites remote history)"
             }
           },
           additionalProperties = false
@@ -107,6 +120,8 @@ GitEdit.system_prompt = [[## Git Edit Tool (`git_edit`)
 - `reset`: Reset to commit (args: commit_hash, mode)
 - `gitignore_add`: Add a rule to .gitignore
 - `gitignore_remove`: Remove a rule from .gitignore
+- `push`: Push changes to a remote repository (args: remote, branch, force)
+  WARNING: `force` push is dangerous and can overwrite remote history. Use with extreme caution.
 - `help`: Show available edit operations
 ]]
 
@@ -116,7 +131,7 @@ GitEdit.cmds = {
     local op_args = args.args or {}
 
     if operation == "help" then
-      local help_text = [[\
+      local help_text = [[
 Available write-access Git operations:
 • stage/unstage: Stage/unstage files
 • create_branch: Create new branch
@@ -125,6 +140,7 @@ Available write-access Git operations:
 • reset: Reset to specific commit
 • gitignore_add: Add rule to .gitignore
 • gitignore_remove: Remove rule from .gitignore
+• push: Push changes to a remote repository (WARNING: force push is dangerous)
       ]]
       return { status = "success", data = help_text }
     end
@@ -172,6 +188,8 @@ Available write-access Git operations:
         return { status = "error", data = "No rule(s) specified for .gitignore remove" }
       end
       success, output = GitTool.remove_gitignore_rule(rules)
+    elseif operation == "push" then
+      success, output = GitTool.push(op_args.remote, op_args.branch, op_args.force)
     else
       return { status = "error", data = "Unknown Git edit operation: " .. operation }
     end