fix: properly commit tab name changes.

[knightedcodemonkey]

No description provided.

[Copilot]

Pull request overview

This PR fixes push-commit behavior for renamed workspace tabs by ensuring a rename is represented as an add/update of the new path plus a delete of the previously-synced path, and that the confirmation summary reflects those operations.

Changes:

• Track and propagate a deleted flag through PR drawer file commits and submission flow.
• Update Git Database API tree creation to delete files via sha: null entries.
• Mark tabs as Edited when their path changes due to a rename, and add a Playwright regression test covering rename + push-commit.

Reviewed changes

Copilot reviewed 7 out of 7 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
src/modules/github/pr/drawer/summary.js	Show (delete) in the commit confirmation summary for deletion entries.
src/modules/github/pr/drawer/file-commits.js	Normalize deleted onto file commit objects.
src/modules/github/pr/drawer/controller/run-submit.js	Convert deleted file commits into { path, deleted: true } file updates.
src/modules/github/api/editor-content.js	Support deletions in Git Database API commits by emitting tree entries with sha: null.
src/modules/app-core/workspace-tab-mutations-controller.js	Mark a tab dirty when a rename changes its path (even if content is unchanged).
src/modules/app-core/workspace-sync-controller.js	Detect committed renames and emit a delete update for the previous synced path when needed.
playwright/github-pr-drawer.spec.ts	Add end-to-end coverage verifying rename marks Edited, confirmation lists new+delete paths, and tree payload includes sha: null for the deleted file.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.