feat(providers): add Azure DevOps support for PR operations

[aletc1]

Summary

• Auto-detect Azure DevOps remotes (dev.azure.com, *.visualstudio.com, HTTPS + SSH variants) from the git origin URL and route PR status, merge, rename, and Create-PR through the az CLI (azure-devops extension). GitHub path stays byte-identical — a thin dispatcher in src/main/lib/git/providers/ forwards by provider and the PR widget / status bar / rename dialog keep consuming the existing shape.
• Silent detection of az CLI + azure-devops extension + az account. Queries degrade to null / [] on any failure so the 30s poll never throws; mutations throw toast-ready messages (missing CLI, missing extension, not logged in). Merge conflicts surface via the existing MERGE_CONFLICT: contract — no renderer changes needed.
• Adds a nullable git_project column (Drizzle migration 0010) so the Azure project slug doesn't collide with git_owner (still used to build github.com/{owner}.png avatars). Extends getPrContext to return provider info; pr-message.ts and git-activity.ts now emit and parse az repos pr create.

v1 scope (confirmed before implementation)

• Cloud only — on-prem Azure DevOps Server URLs stay "unknown provider" (same behavior as gitlab/bitbucket today).
• Azure PR comments stubbed to [] (threads are a different data model — deferred).
• Additions/deletions report 0 for Azure PRs (widget handles zero; git diff --numstat planned for v2).
• method: "rebase" falls back to non-squash merge on Azure with a console warn (az CLI only exposes --squash <bool>).

Test plan

GitHub regression (must be byte-identical)

• Open a GitHub project → PR widget shows existing PR with checks, review state, mergeability.
• Rename PR via dialog → succeeds, refreshes within 10s.
• Merge PR (squash) → succeeds, widget shows "Merged".
• Create PR on fresh branch → browser opens github.com/…/compare/…?expand=1.
• Agent "Create PR" prompt → Claude runs gh pr create, activity badge appears.
• Induce a conflict → merge surfaces MERGE_CONFLICT toast with "Sync with Main".
• Uninstall gh temporarily → widget shows empty state, no toast, no crash.

Azure DevOps happy path

• Import an Azure DevOps repo → project row has gitProvider="azure", gitOwner=<org>, gitProject=<project>, gitRepo=<repo>.
• Open a PR on web → widget populates within 30s with title, state, reviewers, policies.
• Rename via dialog → reflected on dev.azure.com.
• Merge (squash) → PR completes on Azure, source branch deleted, widget → "Merged".
• Create PR button → opens dev.azure.com/…/pullrequestcreate?sourceRef=…&targetRef=….
• Agent mode → pr-message.ts emits az repos pr create with correct org/project/repo and --output json.
• Settings › Repository section shows org/project/repo with an "Azure DevOps" external-link button.

Azure failure modes (each must toast OR silently show empty state — never crash)

• az not on PATH → query silent; merge shows "Azure CLI not found" toast.
• azure-devops extension missing → merge shows "Azure DevOps extension missing. Run: az extension add --name azure-devops".
• az logout → merge shows "Not logged in to Azure. Run az login and retry".
• No PR for branch → widget shows "No pull request for this branch yet" (silent).
• Network error during az repos pr show → query returns null, no toast, console warn only.

URL parsing sanity check

• https://dev.azure.com/myorg/MyProject/_git/myrepo.git → { provider: "azure", owner: "myorg", project: "MyProject", repo: "myrepo" }
• https://myorg@dev.azure.com/myorg/MyProject/_git/myrepo → same
• git@ssh.dev.azure.com:v3/myorg/MyProject/myrepo → same
• https://myorg.visualstudio.com/DefaultCollection/MyProject/_git/myrepo → same
• https://github.com/owner/repo still returns { provider: "github", project: null }

Build / typecheck

• bun run build succeeds (30.95s).
• tsc --noEmit clean on all modified/new files (6 pre-existing errors in src/renderer/components/update-banner.tsx are unrelated).

Deferred to v2

• On-prem Azure DevOps Server (custom hostnames).
• PR comments for Azure (az repos pr thread list with thread-model mapping).
• Accurate additions/deletions on Azure PRs.
• True rebase merge strategy on Azure.

🤖 Generated with Claude Code