@dxos/plugin-github 0.7.4 → 0.14.0

package/dist/types/src/operations/get-pull-request-status.d.ts

@@ -0,0 +1,5 @@
+import * as Operation from '@dxos/compute/Operation';
+import { GitHubOperation } from '#types';
+declare const handler: Operation.WithHandler<typeof GitHubOperation.GetPullRequestStatus>;
+export default handler;
+//# sourceMappingURL=get-pull-request-status.d.ts.map

package/dist/types/src/operations/get-pull-request-status.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-pull-request-status.d.ts","sourceRoot":"","sources":["../../../../src/operations/get-pull-request-status.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,SAAS,MAAM,yBAAyB,CAAC;AAGrD,OAAO,EAAE,eAAe,EAAE,MAAM,QAAQ,CAAC;AAQzC,QAAA,MAAM,OAAO,EAAE,SAAS,CAAC,WAAW,CAAC,OAAO,eAAe,CAAC,oBAAoB,CAuB7E,CAAC;eAEW,OAAO"}

package/dist/types/src/operations/get-repositories.d.ts

@@ -0,0 +1,13 @@
+import * as Operation from '@dxos/compute/Operation';
+import { GitHubOperation } from '#types';
+/**
+ * Discovery only — list GitHub repositories reachable from the connection's
+ * token. Read-only: NO local Projects are created here. Materialization is
+ * handled by the connector's `materializeTarget` when a binding is created.
+ *
+ * Output is sorted by `full_name` (case-insensitive) so the picker is stable
+ * regardless of GitHub's response order.
+ */
+declare const handler: Operation.WithHandler<typeof GitHubOperation.GetGitHubRepositories>;
+export default handler;
+//# sourceMappingURL=get-repositories.d.ts.map

package/dist/types/src/operations/get-repositories.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-repositories.d.ts","sourceRoot":"","sources":["../../../../src/operations/get-repositories.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,SAAS,MAAM,yBAAyB,CAAC;AAGrD,OAAO,EAAE,eAAe,EAAE,MAAM,QAAQ,CAAC;AAIzC;;;;;;;GAOG;AACH,QAAA,MAAM,OAAO,EAAE,SAAS,CAAC,WAAW,CAAC,OAAO,eAAe,CAAC,qBAAqB,CA2B9E,CAAC;eAEW,OAAO"}

package/dist/types/src/operations/import-pull-request-from-snapshot.d.ts

@@ -0,0 +1,12 @@
+import * as Operation from '@dxos/compute/Operation';
+import { GitHubOperation } from '#types';
+/**
+ * Import the pull request the extension's page is showing.
+ *
+ * The snapshot is read for its URL alone — the page's DOM says nothing GitHub's API does not say
+ * better — and the import itself is delegated, so the anonymous fallback and the existing-object
+ * check stay in one place.
+ */
+declare const handler: Operation.WithHandler<typeof GitHubOperation.ImportPullRequestFromSnapshot>;
+export default handler;
+//# sourceMappingURL=import-pull-request-from-snapshot.d.ts.map

package/dist/types/src/operations/import-pull-request-from-snapshot.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"import-pull-request-from-snapshot.d.ts","sourceRoot":"","sources":["../../../../src/operations/import-pull-request-from-snapshot.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,SAAS,MAAM,yBAAyB,CAAC;AAErD,OAAO,EAAE,eAAe,EAAE,MAAM,QAAQ,CAAC;AAKzC;;;;;;GAMG;AACH,QAAA,MAAM,OAAO,EAAE,SAAS,CAAC,WAAW,CAAC,OAAO,eAAe,CAAC,6BAA6B,CAyBtF,CAAC;eAEW,OAAO"}

package/dist/types/src/operations/import-pull-request.d.ts

@@ -0,0 +1,63 @@
+import * as Effect from 'effect/Effect';
+import * as Operation from '@dxos/compute/Operation';
+import { GitHubOperation } from '#types';
+import { type PullRequestReference } from '../github-link.ts';
+import { GitHubApi } from '../services/index.ts';
+/**
+ * The pull request as the space's GitHub connection, falling back to an anonymous read whenever the
+ * stored token is what stood in the way.
+ *
+ * A public pull request must never fail because of a credential. Three separate conditions make one
+ * look unreachable — a revoked token (401), a suspended or SSO-blocked one (403), and a repository
+ * outside the App installation the token belongs to (404) — and the anonymous retry, which is the
+ * same request a space with no connection would make, resolves all three. The cost is one extra
+ * request on a pull request that genuinely does not exist.
+ *
+ * `fetch` is injected so the fallback can be exercised without an HTTP client.
+ */
+export declare const fetchPullRequestWithFallback: ({ owner, repo, number }: PullRequestReference, token: string, fetch?: (owner: string, repo: string, number: number) => GitHubApi.GitHubEffect<GitHubApi.GitHubPull>) => Effect.Effect<{
+    readonly id: number;
+    readonly number: number;
+    readonly title: string;
+    readonly body?: string | null | undefined;
+    readonly state: string;
+    readonly draft?: boolean | undefined;
+    readonly merged?: boolean | undefined;
+    readonly merged_at?: string | null | undefined;
+    readonly created_at?: string | null | undefined;
+    readonly updated_at?: string | null | undefined;
+    readonly html_url?: string | null | undefined;
+    readonly user?: {
+        readonly id: number;
+        readonly login: string;
+        readonly name?: string | null | undefined;
+        readonly email?: string | null | undefined;
+        readonly avatar_url?: string | null | undefined;
+        readonly html_url?: string | null | undefined;
+        readonly bio?: string | null | undefined;
+        readonly company?: string | null | undefined;
+        readonly type?: string | null | undefined;
+    } | null | undefined;
+    readonly labels?: readonly {
+        readonly name: string;
+    }[] | undefined;
+    readonly additions?: number | undefined;
+    readonly deletions?: number | undefined;
+    readonly base?: {
+        readonly ref: string;
+        readonly sha?: string | undefined;
+    } | undefined;
+    readonly head?: {
+        readonly ref: string;
+        readonly sha?: string | undefined;
+    } | undefined;
+}, never, import("effect/http/HttpClient").HttpClient>;
+/**
+ * Import a pull request the user named, as the space's GitHub connection or anonymously.
+ *
+ * The object is filed through `SpaceOperation.AddObject` rather than added directly: an imported
+ * pull request is something the user went looking for, so it belongs where they can find it again.
+ */
+declare const handler: Operation.WithHandler<typeof GitHubOperation.ImportPullRequest>;
+export default handler;
+//# sourceMappingURL=import-pull-request.d.ts.map

package/dist/types/src/operations/import-pull-request.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"import-pull-request.d.ts","sourceRoot":"","sources":["../../../../src/operations/import-pull-request.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,OAAO,KAAK,SAAS,MAAM,yBAAyB,CAAC;AAMrD,OAAO,EAAE,eAAe,EAAE,MAAM,QAAQ,CAAC;AAGzC,OAAO,EAAE,KAAK,oBAAoB,EAA6B,MAAM,mBAAmB,CAAC;AAEzF,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAmBjD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,4BAA4B,4BACd,oBAAoB,SACtC,MAAM,UACN,CACL,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,KACX,SAAS,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sDA6C/C,CAAC;AAEL;;;;;GAKG;AACH,QAAA,MAAM,OAAO,EAAE,SAAS,CAAC,WAAW,CAAC,OAAO,eAAe,CAAC,iBAAiB,CAoC5E,CAAC;eAEa,OAAO"}

package/dist/types/src/operations/import-pull-request.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=import-pull-request.test.d.ts.map

package/dist/types/src/operations/import-pull-request.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"import-pull-request.test.d.ts","sourceRoot":"","sources":["../../../../src/operations/import-pull-request.test.ts"],"names":[],"mappings":""}

package/dist/types/src/operations/index.d.ts

@@ -0,0 +1,3 @@
+import * as OperationHandlerSet from '@dxos/compute/OperationHandlerSet';
+export declare const GitHubOperationHandlerSet: OperationHandlerSet.OperationHandlerSet;
+//# sourceMappingURL=index.d.ts.map

package/dist/types/src/operations/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/operations/index.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,mBAAmB,MAAM,mCAAmC,CAAC;AAIzE,eAAO,MAAM,yBAAyB,yCAoBpC,CAAC"}

package/dist/types/src/operations/materialize-target.d.ts

@@ -0,0 +1,12 @@
+import * as Operation from '@dxos/compute/Operation';
+import { GitHubOperation } from '#types';
+/**
+ * Find-or-create the empty local root Project for a GitHub repo so a `Cursor`
+ * can reference it as its `spec.target`. Idempotent: keyed by the repo's
+ * GitHub foreign id (`remoteTarget.id`), it returns the existing Project
+ * when one already carries that key. The repo's data is filled in lazily by the
+ * sync operation; here we only stamp the foreign key + a display name.
+ */
+declare const handler: Operation.WithHandler<typeof GitHubOperation.MaterializeGitHubTarget>;
+export default handler;
+//# sourceMappingURL=materialize-target.d.ts.map

package/dist/types/src/operations/materialize-target.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"materialize-target.d.ts","sourceRoot":"","sources":["../../../../src/operations/materialize-target.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,SAAS,MAAM,yBAAyB,CAAC;AAIrD,OAAO,EAAE,eAAe,EAAE,MAAM,QAAQ,CAAC;AAMzC;;;;;;GAMG;AACH,QAAA,MAAM,OAAO,EAAE,SAAS,CAAC,WAAW,CAAC,OAAO,eAAe,CAAC,uBAAuB,CAkChF,CAAC;eAEW,OAAO"}

package/dist/types/src/operations/pull-request.d.ts

@@ -0,0 +1,48 @@
+import * as Effect from 'effect/Effect';
+import * as Layer from 'effect/Layer';
+import { Database, type Ref } from '@dxos/echo';
+import { Connection } from '@dxos/link';
+import { type PullRequest } from '@dxos/types';
+import { type GitHubOperation } from '#types';
+import { GitHubApi } from '../services/index.ts';
+/**
+ * The GitHub connection whose token requests are sent with: the first one holding a token. Shared by
+ * the handlers and by the UI that sends the user to reconnect, so both name the same connection.
+ */
+export declare const githubConnection: () => Effect.Effect<{
+    connection: Connection.Connection & import("@dxos/echo/Entity").OfKind<import("@dxos/echo/internal").EntityKind.Object>;
+    token: string;
+} | undefined, import("@dxos/echo/Error").EntityNotFoundError, Database.Service>;
+/**
+ * The token of {@link githubConnection}, or empty for anonymous — which reaches any public pull
+ * request, and is the only option in a space that has not connected GitHub.
+ */
+export declare const githubToken: () => Effect.Effect<string, import("@dxos/echo/Error").EntityNotFoundError, Database.Service>;
+/**
+ * The stored pull request behind an operation's input and credentials for its space.
+ *
+ * The invoker carries no database resolver, so handlers derive one from the pull request itself; a
+ * preview card's in-memory pull request has none and cannot be acted on.
+ */
+export declare const resolvePullRequest: (ref: Ref.Ref<PullRequest.PullRequest>) => Effect.Effect<{
+    pullRequest: PullRequest.PullRequest;
+    db: Database.Database;
+    credentials: Layer.Layer<GitHubApi.GitHubCredentials, never, never>;
+}, import("@dxos/echo/Error").EntityNotFoundError, never>;
+/** One check run as the article lists it: its outcome folded the way {@link summarizeCheckRuns} counts it. */
+export declare const toCheckRun: (run: GitHubApi.GitHubCheckRun) => GitHubOperation.CheckRun;
+/** Folds a commit's check runs into one outcome: any failure fails, then any unfinished run is pending. */
+export declare const summarizeCheckRuns: (runs: readonly GitHubApi.GitHubCheckRun[]) => {
+    ci: GitHubOperation.CiState;
+    checks: GitHubOperation.CheckCounts;
+};
+/**
+ * Folds a pull request's reviews into where they stand, from each reviewer's latest verdict — the
+ * way GitHub reads them: a later approval clears that reviewer's request for changes, and a dismissal
+ * withdraws whichever verdict it replaced.
+ */
+export declare const summarizeReviews: (reviews: readonly GitHubApi.GitHubSubmittedReview[]) => {
+    review: GitHubOperation.ReviewState;
+    approvals: number;
+};
+//# sourceMappingURL=pull-request.d.ts.map

package/dist/types/src/operations/pull-request.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pull-request.d.ts","sourceRoot":"","sources":["../../../../src/operations/pull-request.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,EAAE,QAAQ,EAAe,KAAK,GAAG,EAAE,MAAM,YAAY,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,QAAQ,CAAC;AAI9C,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAEjD;;;GAGG;AACH,eAAO,MAAM,gBAAgB;;;gFAczB,CAAC;AAEL;;;GAGG;AACH,eAAO,MAAM,WAAW,+FAAiF,CAAC;AAE1G;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,QAAS,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC;;;;yDASpE,CAAC;AAYL,8GAA8G;AAC9G,eAAO,MAAM,UAAU,QAAS,SAAS,CAAC,cAAc,KAAG,eAAe,CAAC,QAoB1E,CAAC;AAEF,2GAA2G;AAC3G,eAAO,MAAM,kBAAkB,SACvB,SAAS,SAAS,CAAC,cAAc,EAAE,KACxC;IAAE,EAAE,EAAE,eAAe,CAAC,OAAO,CAAC;IAAC,MAAM,EAAE,eAAe,CAAC,WAAW,CAAA;CAepE,CAAC;AAKF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,YAClB,SAAS,SAAS,CAAC,qBAAqB,EAAE,KAClD;IAAE,MAAM,EAAE,eAAe,CAAC,WAAW,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAiB1D,CAAC"}

package/dist/types/src/operations/pull-request.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=pull-request.test.d.ts.map

package/dist/types/src/operations/pull-request.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pull-request.test.d.ts","sourceRoot":"","sources":["../../../../src/operations/pull-request.test.ts"],"names":[],"mappings":""}

package/dist/types/src/operations/refresh-pull-requests.d.ts

@@ -0,0 +1,5 @@
+import * as Operation from '@dxos/compute/Operation';
+import { GitHubOperation } from '#types';
+declare const handler: Operation.WithHandler<typeof GitHubOperation.RefreshPullRequests>;
+export default handler;
+//# sourceMappingURL=refresh-pull-requests.d.ts.map

package/dist/types/src/operations/refresh-pull-requests.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"refresh-pull-requests.d.ts","sourceRoot":"","sources":["../../../../src/operations/refresh-pull-requests.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,SAAS,MAAM,yBAAyB,CAAC;AAGrD,OAAO,EAAE,eAAe,EAAE,MAAM,QAAQ,CAAC;AAWzC,QAAA,MAAM,OAAO,EAAE,SAAS,CAAC,WAAW,CAAC,OAAO,eAAe,CAAC,mBAAmB,CA4C5E,CAAC;eAEW,OAAO"}

package/dist/types/src/operations/refresh.d.ts

@@ -0,0 +1,37 @@
+import * as Effect from 'effect/Effect';
+import * as Trigger from '@dxos/compute/Trigger';
+import { Database } from '@dxos/echo';
+import { PullRequest } from '@dxos/types';
+/**
+ * How often the space's refresh trigger polls its open pull requests: hourly, at an off-the-hour minute
+ * so the fleet of spaces does not land on EDGE's busiest tick, and because every open pull request
+ * costs a GitHub request against the connection's rate limit.
+ */
+export declare const REFRESH_CRON = "17 * * * *";
+/**
+ * Re-read one stored pull request from GitHub and write back the fields that changed.
+ *
+ * Uses the anonymous fallback, so a public pull request still refreshes behind a revoked token.
+ * Returns the names of the changed fields.
+ */
+export declare const refreshPullRequest: (pullRequest: PullRequest.PullRequest, token: string) => Effect.Effect<string[], never, import("effect/http/HttpClient").HttpClient>;
+/** Most pull requests one run refreshes, so a run stays within GitHub's rate limit and EDGE's subrequest budget. */
+export declare const REFRESH_BATCH_SIZE = 20;
+/**
+ * The slice of `pullRequests` the run in window `window` refreshes: consecutive windows walk the list in
+ * id order and wrap, so every pull request is refreshed once every `ceil(count / size)` runs without
+ * storing a cursor.
+ */
+export declare const selectRefreshBatch: (pullRequests: readonly PullRequest.PullRequest[], window: number, size?: number) => PullRequest.PullRequest[];
+/** The space's pull requests GitHub may still change. */
+export declare const queryInFlightPullRequests: () => Effect.Effect<(PullRequest.PullRequest & import("@dxos/echo/Entity").OfKind<import("@dxos/echo/internal").EntityKind.Object>)[], never, Database.Service>;
+/**
+ * Give the space its one pull-request refresh trigger, unless it has one already — including one the
+ * user disabled, which stays disabled.
+ *
+ * Peers that race to create it each add their own, so every caller converges on the same keeper (the
+ * lowest id) and removes the rest. The trigger runs on EDGE, so pull requests keep refreshing while no
+ * client has the space open.
+ */
+export declare const ensureRefreshTrigger: () => Effect.Effect<Trigger.Trigger & import("@dxos/echo/Entity").OfKind<import("@dxos/echo/internal").EntityKind.Object>, never, Database.Service>;
+//# sourceMappingURL=refresh.d.ts.map

package/dist/types/src/operations/refresh.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"refresh.d.ts","sourceRoot":"","sources":["../../../../src/operations/refresh.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,OAAO,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAoB,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAO1C;;;;GAIG;AACH,eAAO,MAAM,YAAY,eAAe,CAAC;AAKzC;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,sIAc7B,CAAC;AAMH,oHAAoH;AACpH,eAAO,MAAM,kBAAkB,KAAK,CAAC;AAErC;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,iBACf,SAAS,WAAW,CAAC,WAAW,EAAE,UACxC,MAAM,oBAEb,WAAW,CAAC,WAAW,EAOzB,CAAC;AAEF,yDAAyD;AACzD,eAAO,MAAM,yBAAyB,iKAInC,CAAC;AAKJ;;;;;;;GAOG;AACH,eAAO,MAAM,oBAAoB,qJAoB/B,CAAC"}

package/dist/types/src/operations/refresh.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=refresh.test.d.ts.map

package/dist/types/src/operations/refresh.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"refresh.test.d.ts","sourceRoot":"","sources":["../../../../src/operations/refresh.test.ts"],"names":[],"mappings":""}

package/dist/types/src/operations/submit-pull-request-approval.d.ts

@@ -0,0 +1,5 @@
+import * as Operation from '@dxos/compute/Operation';
+import { GitHubOperation } from '#types';
+declare const handler: Operation.WithHandler<typeof GitHubOperation.SubmitPullRequestApproval>;
+export default handler;
+//# sourceMappingURL=submit-pull-request-approval.d.ts.map

package/dist/types/src/operations/submit-pull-request-approval.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"submit-pull-request-approval.d.ts","sourceRoot":"","sources":["../../../../src/operations/submit-pull-request-approval.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,SAAS,MAAM,yBAAyB,CAAC;AAErD,OAAO,EAAE,eAAe,EAAE,MAAM,QAAQ,CAAC;AAMzC,QAAA,MAAM,OAAO,EAAE,SAAS,CAAC,WAAW,CAAC,OAAO,eAAe,CAAC,yBAAyB,CAsBlF,CAAC;eAEW,OAAO"}

package/dist/types/src/operations/sync-pull-request.d.ts

@@ -0,0 +1,5 @@
+import * as Operation from '@dxos/compute/Operation';
+import { GitHubOperation } from '#types';
+declare const handler: Operation.WithHandler<typeof GitHubOperation.SyncPullRequest>;
+export default handler;
+//# sourceMappingURL=sync-pull-request.d.ts.map

package/dist/types/src/operations/sync-pull-request.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-pull-request.d.ts","sourceRoot":"","sources":["../../../../src/operations/sync-pull-request.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,SAAS,MAAM,yBAAyB,CAAC;AAIrD,OAAO,EAAE,eAAe,EAAE,MAAM,QAAQ,CAAC;AAKzC,QAAA,MAAM,OAAO,EAAE,SAAS,CAAC,WAAW,CAAC,OAAO,eAAe,CAAC,eAAe,CAe1E,CAAC;eAEa,OAAO"}

package/dist/types/src/operations/sync.d.ts

@@ -0,0 +1,123 @@
+import * as Effect from 'effect/Effect';
+import * as Operation from '@dxos/compute/Operation';
+import { Database } from '@dxos/echo';
+import { Cursor } from '@dxos/link';
+import { Milestone, Person, Task, TaskSet } from '@dxos/types';
+import { GitHubOperation } from '#types';
+import { GitHubApi } from '../services/index.ts';
+/**
+ * Move a task into `container`. Idempotent — sync runs repeatedly and must never append a second
+ * ref for a task already in the set.
+ */
+export declare const setTaskContainer: (task: Task.Task, container: TaskSet.TaskSet) => Effect.Effect<void, never, Database.Service>;
+/**
+ * Pull a GitHub milestone into ECHO. Mirrored remote-wins without a snapshot merge — milestones
+ * are pull-only (nothing here pushes milestone edits back), so there is no local side to protect.
+ */
+export declare const upsertMilestone: (taskSet: TaskSet.TaskSet, remote: {
+    readonly id: number;
+    readonly number: number;
+    readonly title: string;
+    readonly description?: string | null | undefined;
+    readonly state?: string | null | undefined;
+    readonly due_on?: string | null | undefined;
+}) => Effect.Effect<Milestone.Milestone, never, Database.Service>;
+/**
+ * Pull a GitHub issue into ECHO as a Task. Same merge shape as
+ * {@link upsertProject}, against snapshot fields {title, description, status}.
+ * Non-mapped fields (`Task.priority`, `Task.estimate`, etc.) are preserved.
+ *
+ * Set membership is NOT wired here: this runs concurrently per issue and `TaskSet.tasks` is a
+ * shared array, so the caller applies {@link setTaskContainer} sequentially afterwards.
+ *
+ * `milestone` is the local mirror of `issue.milestone`, mirrored remote-wins outside the snapshot
+ * merge (nothing pushes milestone edits back, so there is no local side to protect).
+ */
+export declare const upsertTask: (binding: Cursor.ExternalCursor, issue: {
+    readonly id: number;
+    readonly number: number;
+    readonly title: string;
+    readonly body?: string | null | undefined;
+    readonly state: string;
+    readonly state_reason?: string | null | undefined;
+    readonly html_url?: string | null | undefined;
+    readonly comments?: number | undefined;
+    readonly comments_url?: string | null | undefined;
+    readonly created_at?: string | null | undefined;
+    readonly updated_at?: string | null | undefined;
+    readonly closed_at?: string | null | undefined;
+    readonly user?: {
+        readonly id: number;
+        readonly login: string;
+        readonly name?: string | null | undefined;
+        readonly email?: string | null | undefined;
+        readonly avatar_url?: string | null | undefined;
+        readonly html_url?: string | null | undefined;
+        readonly bio?: string | null | undefined;
+        readonly company?: string | null | undefined;
+        readonly type?: string | null | undefined;
+    } | null | undefined;
+    readonly assignees?: readonly {
+        readonly id: number;
+        readonly login: string;
+        readonly name?: string | null | undefined;
+        readonly email?: string | null | undefined;
+        readonly avatar_url?: string | null | undefined;
+        readonly html_url?: string | null | undefined;
+        readonly bio?: string | null | undefined;
+        readonly company?: string | null | undefined;
+        readonly type?: string | null | undefined;
+    }[] | undefined;
+    readonly labels?: readonly {
+        readonly name: string;
+    }[] | undefined;
+    readonly milestone?: {
+        readonly id: number;
+        readonly number: number;
+        readonly title: string;
+        readonly description?: string | null | undefined;
+        readonly state?: string | null | undefined;
+        readonly due_on?: string | null | undefined;
+    } | null | undefined;
+    readonly pull_request?: {
+        readonly url: string;
+        readonly merged_at?: string | null | undefined;
+    } | null | undefined;
+}, assignedPerson: Person.Person | undefined, milestone: Milestone.Milestone | undefined) => Effect.Effect<{
+    task: Task.Task;
+    created: boolean;
+}, never, Database.Service>;
+export type GitHubPushResult = {
+    projects: number;
+    tasks: number;
+};
+/**
+ * Push reconciler for one repo. Walks the locally-mirrored Project for the
+ * given repo plus every Task whose foreign key matches one of the issues we
+ * just pulled, diffs against the binding's snapshot, and PATCHes any diverged
+ * field back to GitHub.
+ *
+ * Behaviour:
+ *   - Project description divergence → PATCH /repos/{owner}/{repo}.
+ *     `name` divergence is logged but NOT pushed (rename is destructive and
+ *     almost never desired from a sync mirror).
+ *   - Task title / description / status divergence → PATCH the issue.
+ *   - Tombstones (`Obj.isDeleted`) are skipped.
+ *
+ * After a successful push the snapshot is refreshed with the values just
+ * sent so the next pass sees no divergence even before the next pull.
+ *
+ * The push callbacks' error type is generic. The reconciler doesn't inspect
+ * or recover from those errors — it propagates so the outer `Effect.result`
+ * at the call site can record the binding's `lastError`. Generic-`E` keeps
+ * this module decoupled from the HTTP error hierarchy of `GitHubApi`.
+ */
+export declare const pushRepoUpdates: <E, R>(binding: Cursor.ExternalCursor, repo: GitHubApi.GitHubRepo, remoteIssuesById: ReadonlyMap<string, GitHubApi.GitHubIssue>, push: {
+    /** Wraps `GitHubApi.updateIssue`. */
+    updateIssue: (owner: string, repo: string, issueNumber: number, input: GitHubApi.IssueUpdateInput) => Effect.Effect<void, E, R>;
+    /** Wraps `GitHubApi.updateRepo`. */
+    updateRepo: (owner: string, repo: string, input: GitHubApi.RepoUpdateInput) => Effect.Effect<void, E, R>;
+}) => Effect.Effect<GitHubPushResult, E, Database.Service | R>;
+declare const handler: Operation.WithHandler<typeof GitHubOperation.SyncGitHubRepositories>;
+export default handler;
+//# sourceMappingURL=sync.d.ts.map

package/dist/types/src/operations/sync.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync.d.ts","sourceRoot":"","sources":["../../../../src/operations/sync.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAOxC,OAAO,KAAK,SAAS,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAiC,MAAM,YAAY,CAAC;AACrE,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAGpC,OAAO,EAAE,SAAS,EAAgB,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAG7E,OAAO,EAAE,eAAe,EAAE,MAAM,QAAQ,CAAC;AASzC,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAyHjD;;;GAGG;AACH,eAAO,MAAM,gBAAgB,+FAiC3B,CAAC;AA0HH;;;GAGG;AACH,eAAO,MAAM,eAAe;;;;;;;iEA6B1B,CAAC;AAEH;;;;;;;;;;GAUG;AACH,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2BAwErB,CAAC;AAMH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,eAAe,EAAE,CAAC,CAAC,EAAE,CAAC,EACjC,OAAO,EAAE,MAAM,CAAC,cAAc,EAC9B,IAAI,EAAE,SAAS,CAAC,UAAU,EAC1B,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,WAAW,CAAC,EAC5D,IAAI,EAAE;IACJ,qCAAqC;IACrC,WAAW,EAAE,CACX,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,SAAS,CAAC,gBAAgB,KAC9B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/B,oCAAoC;IACpC,UAAU,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,eAAe,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAC1G,KACE,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC,EAAE,QAAQ,CAAC,OAAO,GAAG,CAAC,CAuH3D,CAAC;AA8LF,QAAA,MAAM,OAAO,EAAE,SAAS,CAAC,WAAW,CAAC,OAAO,eAAe,CAAC,sBAAsB,CAsB/E,CAAC;eAEW,OAAO"}

package/dist/types/src/operations/sync.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=sync.test.d.ts.map

package/dist/types/src/operations/sync.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync.test.d.ts","sourceRoot":"","sources":["../../../../src/operations/sync.test.ts"],"names":[],"mappings":""}

package/dist/types/src/plugin.d.ts

@@ -0,0 +1,4 @@
+import * as Plugin from '@dxos/app-framework/Plugin';
+export declare const GitHubPlugin: Plugin.PluginFactory<void>;
+export default GitHubPlugin;
+//# sourceMappingURL=plugin.d.ts.map

package/dist/types/src/plugin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../../../src/plugin.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,4BAA4B,CAAC;AAiBrD,eAAO,MAAM,YAAY,4BAaxB,CAAC;eAEa,YAAY"}

package/dist/types/src/plugin.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=plugin.test.d.ts.map

package/dist/types/src/plugin.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin.test.d.ts","sourceRoot":"","sources":["../../../src/plugin.test.ts"],"names":[],"mappings":""}

package/dist/types/src/pull-request-body.d.ts

@@ -0,0 +1,37 @@
+/** Public host of the `agent-artifacts` R2 bucket that demo videos and screenshots are linked from. */
+export declare const ARTIFACTS_HOST = "pub-39066a86073446d7b77b1c157b660bb5.r2.dev";
+export type ArtifactKind = 'video' | 'image' | 'file';
+/** A file in the artifacts bucket that a pull request body links to. */
+export type ArtifactLink = {
+    url: string;
+    kind: ArtifactKind;
+    /** The file name, the last path segment. */
+    name: string;
+    /** The link's own text, when it was written as `[label](url)` rather than bare. */
+    label?: string;
+};
+/** What a pull request body says beyond its prose: the footers the harness and CI append, and the media it links. */
+export type PullRequestBody = {
+    /** The prose, with the footers taken out. */
+    markdown: string;
+    /** Present when the body carries the Claude Code footer. */
+    claudeCode?: {
+        /** The session that wrote the pull request. */
+        sessionUrl?: string;
+    };
+    /** The Composer deployment built from the pull request's head. */
+    previewUrl?: string;
+    /** Artifacts in first-mention order, each once. */
+    artifacts: ArtifactLink[];
+};
+/** The artifact a URL names, or undefined when it is not in the artifacts bucket. */
+export declare const parseArtifactLink: (url: string) => Omit<ArtifactLink, 'label'> | undefined;
+/**
+ * Splits a pull request body into its prose and what the footers and links say.
+ *
+ * The footers are the harness's (`🤖 Generated with Claude Code` and the session URL) and CI's
+ * (the Composer preview block); the article shows them as cards, so they are taken out of the prose
+ * rather than rendered twice.
+ */
+export declare const parsePullRequestBody: (body: string | undefined) => PullRequestBody;
+//# sourceMappingURL=pull-request-body.d.ts.map

package/dist/types/src/pull-request-body.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pull-request-body.d.ts","sourceRoot":"","sources":["../../../src/pull-request-body.ts"],"names":[],"mappings":"AAIA,uGAAuG;AACvG,eAAO,MAAM,cAAc,gDAAgD,CAAC;AAE5E,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AAEtD,wEAAwE;AACxE,MAAM,MAAM,YAAY,GAAG;IACzB,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,YAAY,CAAC;IACnB,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,mFAAmF;IACnF,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,qHAAqH;AACrH,MAAM,MAAM,eAAe,GAAG;IAC5B,6CAA6C;IAC7C,QAAQ,EAAE,MAAM,CAAC;IACjB,4DAA4D;IAC5D,UAAU,CAAC,EAAE;QACX,+CAA+C;QAC/C,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,CAAC;IACF,kEAAkE;IAClE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,mDAAmD;IACnD,SAAS,EAAE,YAAY,EAAE,CAAC;CAC3B,CAAC;AAKF,qFAAqF;AACrF,eAAO,MAAM,iBAAiB,QAAS,MAAM,KAAG,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,GAAG,SAsB7E,CAAC;AAeF;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,SAAU,MAAM,GAAG,SAAS,KAAG,eAiC/D,CAAC"}

package/dist/types/src/pull-request-body.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=pull-request-body.test.d.ts.map

package/dist/types/src/pull-request-body.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pull-request-body.test.d.ts","sourceRoot":"","sources":["../../../src/pull-request-body.test.ts"],"names":[],"mappings":""}

package/dist/types/src/pull-request.d.ts

@@ -0,0 +1,28 @@
+import { type Obj } from '@dxos/echo';
+import { PullRequest } from '@dxos/types';
+import { type PullRequestReference } from './github-link.ts';
+import { type GitHubApi } from './services/index.ts';
+/** Where a pull request lives on github.com, for a reference that carried no URL of its own. */
+export declare const pullRequestUrl: ({ owner, repo, number }: PullRequestReference) => string;
+/**
+ * GitHub's pull payload as the fields a local {@link PullRequest.PullRequest} holds.
+ *
+ * Shared by the link preview and the import command so the two cannot disagree about what a pull
+ * request looks like once it is in a space.
+ */
+export declare const toPullRequestProps: (reference: PullRequestReference & {
+    url?: string;
+}, pull: GitHubApi.GitHubPull) => Obj.MakeProps<typeof PullRequest.PullRequest>;
+/** Fields a re-sync may overwrite; the coordinates and URL name the pull request and never drift. */
+declare const SYNCED_FIELDS: readonly ['title', 'state', 'author', 'description', 'baseBranch', 'headBranch', 'additions', 'deletions', 'createdAt', 'updatedAt'];
+type SyncedField = (typeof SYNCED_FIELDS)[number];
+export type PullRequestChanges = Partial<Pick<PullRequest.PullRequest, SyncedField>>;
+/**
+ * The fields where GitHub's payload differs from the stored pull request, so a re-sync writes only
+ * what changed and an unchanged pull request costs no mutation.
+ *
+ * A field GitHub's payload leaves out is kept rather than cleared: an absent value is unknown, not empty.
+ */
+export declare const pullRequestChanges: (pullRequest: PullRequest.PullRequest, pull: GitHubApi.GitHubPull) => PullRequestChanges;
+export {};
+//# sourceMappingURL=pull-request.d.ts.map

package/dist/types/src/pull-request.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pull-request.d.ts","sourceRoot":"","sources":["../../../src/pull-request.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,GAAG,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EAAE,KAAK,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAErD,gGAAgG;AAChG,eAAO,MAAM,cAAc,4BAA6B,oBAAoB,KAAG,MACzB,CAAC;AAEvD;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,cAClB,oBAAoB,GAAG;IAAE,GAAG,CAAC,EAAE,MAAM,CAAA;CAAE,QAC5C,SAAS,CAAC,UAAU,KACzB,GAAG,CAAC,SAAS,CAAC,OAAO,WAAW,CAAC,WAAW,CAgB7C,CAAC;AAEH,qGAAqG;AACrG,QAAA,MAAM,aAAa,YACjB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,WAAW,EACX,WAAW,EACX,WAAW,CACH,CAAC;AAEX,KAAK,WAAW,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAElD,MAAM,MAAM,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;AAErF;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,gBAChB,WAAW,CAAC,WAAW,QAC9B,SAAS,CAAC,UAAU,KACzB,kBAWF,CAAC"}

package/dist/types/src/pull-request.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=pull-request.test.d.ts.map

package/dist/types/src/pull-request.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pull-request.test.d.ts","sourceRoot":"","sources":["../../../src/pull-request.test.ts"],"names":[],"mappings":""}