[Feature]: Source Control panel — commit, push/pull, and sync

[mralexsaavedra]

Problem or use case

The Source Control panel already shows staged/unstaged files, branch compare, and conflict resolution. However, it's missing the core git workflow actions that developers use dozens of times per day:

• Commit: no message input + commit button in the panel
• Push / Pull / Sync: no way to push or pull without opening a terminal

This forces users to context-switch to the terminal for basic git operations that should live in the Source Control panel itself.

Proposed solution

1. Commit area — add a textarea for the commit message and a Commit button (+ Commit & Push shortcut) at the top/bottom of the Uncommitted section.
2. Push / Pull / Sync — add action buttons in the panel header bar, showing ahead/behind counts against the remote (similar to VSCode's sync button).

Assignee: @mralexsaavedra

Alternatives or additional context

VSCode reference: built-in SCM panel with commit input + sync button.
The IPC layer (window.api.git) already has stage, unstage, discard, branchCompare — commit and push/pull follow the same pattern.

Note: Git Graph (visual commit history) is tracked separately.

[AmethystLiang]

Hi @mralexsaavedra I'm actually working on something here. Will post more updates soon!

[mralexsaavedra]

Quick update: I’m actively working on this in branch feat/source-control-commit-push-graph.

Current status:

• commit flow is implemented
• push/pull/sync is implemented and under final validation
• git graph is still pending as the next phase

I’ll share a PR once the remaining validation is wrapped up.

[mralexsaavedra]

One scope question before I open the PR: commit + push/pull/sync are already implemented in feat/source-control-commit-push-graph, but the graph work is still pending.

Would you prefer:

• this PR to focus on commit + push/pull/sync only, and leave graph for a follow-up PR, or
• keep all three parts together under this issue?

My inclination is to split graph into a separate PR so review stays smaller and the Source Control workflow improvements can land first.

[AmethystLiang]

Sg! And smaller PRs are usually preferred. They land faster :-D

[mralexsaavedra]

PR is up: #1211 — covers commit + push/pull/sync. Graph will follow in a separate PR.