feat: link commits, branches and pull requests to tickets

A project can turn on a webhook for GitHub, Gitea or GitLab. Pushes and
pull or merge requests that name a ticket key show on that ticket under
Desarrollo, with the state of each pull request; the secret is shown and
rotated from the project settings.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

libs/web/tracker/domain/src/lib/models/models.ts

@@ -151,10 +151,33 @@ export interface Issue extends IssueSummary {
   /** People following the ticket. */
   watchers: UserRef[];
   checklist: ChecklistItem[];
+  /** Commits, branches and pull requests that mention it. */
+  devLinks: DevLink[];
   allowedTransitions: string[];
   createdAt: string;
 }
 
+/** A commit, branch or pull request that mentions a ticket. */
+export interface DevLink {
+  kind: 'COMMIT' | 'BRANCH' | 'PULL_REQUEST';
+  url: string;
+  title: string;
+  /** Short SHA, branch or PR number. */
+  ref: string;
+  state: 'OPEN' | 'MERGED' | 'CLOSED' | null;
+  provider: string;
+  author: string | null;
+  at: string;
+}
+
+/** The project's webhook for GitHub, Gitea or GitLab. */
+export interface GitIntegration {
+  enabled: boolean;
+  /** Only for owners and admins. */
+  secret: string | null;
+  webhookPath: string;
+}
+
 export interface Comment {
   id: string;
   issueId: string;