@kubohiroya/turbowarp-plus-editor-git 0.0.0-stage → 0.7.0

package/src/project-source-review.tsx

@@ -0,0 +1,217 @@
+import React, {useMemo, useState} from 'react';
+import {BlockPreview} from './block-diff-preview.js';
+import {isRecord, parseProjectSource, readProjectSourceDiff} from './project-source-patch.js';
+import type {BlockSide} from './project-source-patch.js';
+import {compareProjectForReview} from './project-source-review-model.js';
+import type {ScriptReview} from './project-source-review-model.js';
+import type {ProjectBlockRenderer} from './scratch-block-diff-renderer.js';
+
+type Comparison = ReturnType<typeof compareProjectForReview>;
+
+export type ProjectSourceReviewFile = {
+    path: string;
+    summary?: string;
+    previousPath?: string;
+    unavailable?: boolean;
+} & ({patch: string; beforeSource?: string} | {status: 'added' | 'removed' | 'updated'});
+
+export interface ProjectSourceReviewProps {
+    title: string;
+    description?: string;
+    verification?: readonly string[];
+    files: readonly ProjectSourceReviewFile[];
+    renderBlock: ProjectBlockRenderer;
+    locale?: string;
+}
+
+const ja = {
+    review: '変更レビュー', fullDescription: 'PR 本文を表示', checks: '確認してほしいこと', files: '変更ファイル', targets: '影響するステージ・スプライト',
+    scripts: 'スクリプトの比較', reviewed: '確認済み', reviewedScripts: 'スクリプト確認済み', before: '変更前', after: '変更後',
+    updated: '変更', added: '追加', removed: '削除', reorganized: '再編',
+    absent: 'この版にはスクリプトがありません', loading: 'スクリプトを描画中…',
+    unavailable: 'このスクリプトを描画できません。',
+    related: '関連ファイル', properties: 'コード以外の変更', invalid: 'この作品の差分を読み込めません。',
+    flag: '緑の旗が押されたとき', broadcast: 'を受け取ったとき', key: 'キーが押されたとき',
+    click: 'このスプライトが押されたとき', script: 'スクリプト', noChanges: '作品に内容の変更はありません。',
+    comparison: '作品の変更', unreadable: '作品データとして読み込めないため、テキストの差分を表示します。'
+};
+const en: typeof ja = {
+    review: 'Change review', fullDescription: 'Show full PR description', checks: 'Review checklist', files: 'Changed files', targets: 'Affected stages and sprites',
+    scripts: 'Script comparisons', reviewed: 'Reviewed', reviewedScripts: 'Reviewed scripts', before: 'Before', after: 'After',
+    updated: 'Changed', added: 'Added', removed: 'Removed', reorganized: 'Reorganized',
+    absent: 'No script in this version', loading: 'Rendering script…',
+    unavailable: 'This script could not be rendered.',
+    related: 'Related file', properties: 'Changes outside the code', invalid: 'This project diff could not be read.',
+    flag: 'When green flag clicked', broadcast: 'received', key: 'When key pressed',
+    click: 'When this sprite clicked', script: 'Script', noChanges: 'No changes to the project contents.',
+    comparison: 'Project changes', unreadable: 'This file could not be read as project data, so its text diff is shown.'
+};
+
+const properties = new Map<string, readonly [string, string]>([
+    ['variables', ['変数', 'Variables']], ['lists', ['リスト', 'Lists']], ['broadcasts', ['メッセージ', 'Broadcast messages']],
+    ['costumes', ['コスチューム・背景', 'Costumes and backdrops']], ['sounds', ['音', 'Sounds']],
+    ['comments', ['コメント', 'Comments']], ['monitors', ['モニター', 'Monitors']], ['extensions', ['拡張機能', 'Extensions']],
+    ['x', ['X 座標', 'X position']], ['y', ['Y 座標', 'Y position']], ['visible', ['表示状態', 'Visibility']],
+    ['direction', ['向き', 'Direction']], ['size', ['大きさ', 'Size']], ['currentCostume', ['表示するコスチューム', 'Selected costume']]
+]);
+
+function scriptTitle(side: BlockSide, labels: typeof ja) {
+    const block = side.target.blocks[side.id];
+    if (!isRecord(block)) return labels.script;
+    if (block.opcode === 'event_whenflagclicked') return labels.flag;
+    if (block.opcode === 'event_whenthisspriteclicked') return labels.click;
+    if (block.opcode === 'event_whenkeypressed') return labels.key;
+    if (block.opcode === 'event_whenbroadcastreceived') {
+        const field = isRecord(block.fields) ? block.fields.BROADCAST_OPTION : undefined;
+        const message = Array.isArray(field) && typeof field[0] === 'string' ? field[0] : '';
+        if (message) return labels === ja ? `「${message}」${labels.broadcast}` : `“${message}” ${labels.broadcast}`;
+    }
+    return typeof block.opcode === 'string' ? block.opcode : labels.script;
+}
+
+function ScriptComparison({script, labels, reviewed = false, setReviewed, renderBlock}: {
+    script: ScriptReview; labels: typeof ja; reviewed?: boolean; setReviewed?(value: boolean): void;
+    renderBlock: ProjectBlockRenderer;
+}) {
+    const [open, setOpen] = useState(false);
+    const status = !script.before.length ? 'added' : !script.after.length ? 'removed' :
+        script.before.length !== 1 || script.after.length !== 1 ? 'reorganized' : 'updated';
+    const beforeTitle = script.before[0] && scriptTitle(script.before[0], labels);
+    const afterTitle = script.after[0] && scriptTitle(script.after[0], labels);
+    const title = beforeTitle && afterTitle && beforeTitle !== afterTitle ? beforeTitle + ' → ' + afterTitle : afterTitle ?? beforeTitle;
+    return <details className="twgit-review-script" onToggle={event => setOpen((event.currentTarget as HTMLDetailsElement).open)}>
+        <summary>
+            <span className="twgit-review-status">{labels[status]}</span>
+            <strong>{title}</strong>
+            {status === 'reorganized' && <small>{script.before.length} → {script.after.length}</small>}
+            {reviewed && <small>{labels.reviewed}</small>}
+        </summary>
+        {open && <>
+            <div className="twgit-block-diff-sides">
+                {(['before', 'after'] as const).map(version => <div key={version}>
+                    {script[version].length ? script[version].map((side, index, sides) => <BlockPreview key={side.id} side={side}
+                        title={sides.length > 1 ? `${labels[version]} ${index + 1}` : labels[version]}
+                        marks={side.marks} renderBlock={renderBlock} withContext labels={labels}/>) :
+                        <BlockPreview title={labels[version]} renderBlock={renderBlock} withContext labels={labels}/>}
+                </div>)}
+            </div>
+            {setReviewed && <label className="twgit-review-checked"><input type="checkbox" checked={reviewed}
+                onChange={event => setReviewed(event.currentTarget.checked)}/> {labels.reviewed}</label>}
+        </>}
+    </details>;
+}
+
+function propertyNames(keys: readonly string[], labels: typeof ja) {
+    return keys.map(key => properties.get(key)?.[labels === ja ? 0 : 1] ?? key).join(' · ');
+}
+
+/** Lists the changed stages and sprites of one project file, each with its script comparisons. */
+function ComparisonTargets({comparison, labels, renderBlock, review}: {
+    comparison: Comparison; labels: typeof ja; renderBlock: ProjectBlockRenderer;
+    review?: {file: string; keys: ReadonlySet<string>; set(key: string, value: boolean): void};
+}) {
+    return <>
+        {comparison.properties.length > 0 && <p>{labels.properties} · {propertyNames(comparison.properties, labels)}</p>}
+        {!comparison.targets.length && !comparison.properties.length && <p>{labels.noChanges}</p>}
+        {comparison.targets.map(target => <section className="twgit-review-target" key={JSON.stringify([target.isStage, target.name])}>
+            <h5>{target.name}{target.scripts.length > 0 && <small>{labels.scripts} · {target.scripts.length}</small>}</h5>
+            {target.properties.length > 0 && <p>{labels.properties} · {propertyNames(target.properties, labels)}</p>}
+            {target.scripts.map(script => {
+                const key = JSON.stringify([review?.file, target.isStage, target.name, script.id]);
+                return <ScriptComparison key={key} script={script} labels={labels} renderBlock={renderBlock}
+                    reviewed={review?.keys.has(key)} setReviewed={review && (value => review.set(key, value))}/>;
+            })}
+        </section>)}
+    </>;
+}
+
+const countScripts = (comparison: Comparison) => comparison.targets.reduce((count, target) => count + target.scripts.length, 0);
+
+export interface ProjectSourceComparisonProps {
+    /** The earlier project.source.json, or `null` when the file did not exist yet. */
+    before: string | null;
+    /** The later project.source.json, or `null` when the file was removed. */
+    after: string | null;
+    renderBlock: ProjectBlockRenderer;
+    locale?: string;
+    /** Shown after an explanation when either version cannot be read as a project. Without it, only an error is shown. */
+    fallback?: React.ReactNode;
+}
+
+/** Compares two versions of a project.source.json by stage, sprite and script, as the pull request review does. */
+export function ProjectSourceComparison({before, after, renderBlock, locale = 'en', fallback}: ProjectSourceComparisonProps) {
+    const labels = locale.startsWith('ja') ? ja : en;
+    const comparison = useMemo(() => {
+        try {
+            return compareProjectForReview(parseProjectSource(before), parseProjectSource(after));
+        } catch {
+            return null;
+        }
+    }, [before, after]);
+    if (!comparison) return fallback === undefined ? <p role="alert">{labels.invalid}</p> :
+        <><p role="alert" className="twgit-review-unreadable">{labels.unreadable}</p>{fallback}</>;
+    return <section className="twgit-block-diff twgit-review twgit-review-comparison" aria-label={labels.comparison}>
+        <header className="twgit-review-overview">
+            <dl>
+                <div><dt>{labels.targets}</dt><dd>{comparison.targets.length}</dd></div>
+                <div><dt>{labels.scripts}</dt><dd>{countScripts(comparison)}</dd></div>
+            </dl>
+        </header>
+        <ComparisonTargets comparison={comparison} labels={labels} renderBlock={renderBlock}/>
+    </section>;
+}
+
+export function ProjectSourceReview({title, description, verification, files, renderBlock, locale = 'en'}: ProjectSourceReviewProps) {
+    const labels = locale.startsWith('ja') ? ja : en;
+    const entries = useMemo(() => files.map(file => {
+        if (!('patch' in file)) return {file};
+        try {
+            const projects = readProjectSourceDiff(file.patch, file.beforeSource);
+            return {file, comparison: projects ? compareProjectForReview(...projects) : {targets: [], properties: []}};
+        } catch {
+            return {file, invalid: true};
+        }
+    }), [files]);
+    const [checked, setChecked] = useState<{entries: typeof entries; keys: Set<string>}>();
+    const reviewed = checked?.entries === entries ? checked.keys : new Set<string>();
+    const setReviewed = (key: string, value: boolean) => setChecked(previous => {
+        const keys = new Set(previous?.entries === entries ? previous.keys : []);
+        if (value) keys.add(key);
+        else keys.delete(key);
+        return {entries, keys};
+    });
+    const targets = entries.reduce((total, entry) => total + (entry.comparison?.targets.length ?? 0), 0);
+    const scripts = entries.reduce((total, entry) => total + (entry.comparison ? countScripts(entry.comparison) : 0), 0);
+    const body = description?.trim();
+    const longBody = !!body && body.length > 420;
+    const excerpt = longBody ? body.slice(0, 250).trimEnd() + '…' : body;
+    return <section className="twgit-block-diff twgit-review" aria-label={labels.review}>
+        <header className="twgit-review-overview">
+            <p>{labels.review}</p>
+            <h2>{title}</h2>
+            {excerpt && <p className="twgit-review-description">{excerpt}</p>}
+            <dl>
+                <div><dt>{labels.files}</dt><dd>{entries.length}</dd></div>
+                <div><dt>{labels.targets}</dt><dd>{targets}</dd></div>
+                <div><dt>{labels.scripts}</dt><dd>{scripts}</dd></div>
+                {scripts > 0 && <div><dt>{labels.reviewedScripts}</dt><dd>{reviewed.size} / {scripts}</dd></div>}
+            </dl>
+            {longBody && <details className="twgit-review-body">
+                <summary>{labels.fullDescription}</summary>
+                <p className="twgit-review-description">{body}</p>
+            </details>}
+            {!!verification?.length && <div className="twgit-review-checklist">
+                <h3>{labels.checks}</h3>
+                <ul>{verification.map((item, index) => <li key={index}>{item}</li>)}</ul>
+            </div>}
+        </header>
+        <h3 className="twgit-review-files-title">{labels.files}</h3>
+        {entries.map(({file, comparison, invalid}) => <section key={file.path} className="twgit-review-file">
+            <header><h4>{file.previousPath ? file.previousPath + ' → ' + file.path : file.path}</h4>{file.summary && <p>{file.summary}</p>}</header>
+            {'status' in file && <p>{labels.related} · {labels[file.status]}</p>}
+            {(invalid || file.unavailable) && <p role="alert">{labels.invalid}</p>}
+            {comparison && <ComparisonTargets comparison={comparison} labels={labels} renderBlock={renderBlock}
+                review={{file: file.path, keys: reviewed, set: setReviewed}}/>}
+        </section>)}
+    </section>;
+}

package/src/pull-request-panel.tsx

@@ -0,0 +1,134 @@
+import React, {useEffect, useMemo, useState} from 'react';
+import {createGitHubPullRequests, gitHubRepositoryFromOrigin, PullRequestError} from './github-pull-requests.js';
+import type {GitHubPullRequests} from './github-pull-requests.js';
+import {ProjectSourceReview} from './project-source-review.js';
+import type {ProjectBlockRenderer} from './scratch-block-diff-renderer.js';
+import type {Repository} from './repository.js';
+
+const en = {
+    title: 'Pull requests', number: 'Pull request number', openNumber: 'Open pull request',
+    open: 'Open', closed: 'Closed', merged: 'Merged', draft: 'Draft',
+    prev: 'Previous page', next: 'Next page', empty: 'No pull requests on this page.',
+    loading: 'Reading GitHub…', select: 'Select a pull request to review its changes.', onGitHub: 'Open on GitHub',
+    noOrigin: 'Choose a repository whose origin is on GitHub.',
+    unavailable: 'GitHub could not read this repository or pull request. The panel supports public repositories.',
+    rateLimit: 'The public GitHub API rate limit was reached. Try again after the limit resets.',
+    failed: 'Could not read GitHub. Try again.', changed: 'The pull request changed while it was being read. Open it again.',
+    tooManyFiles: 'GitHub only returns the first 3,000 changed files. This pull request exceeds that limit.'
+};
+const ja: typeof en = {
+    title: 'プルリクエスト', number: 'プルリクエスト番号', openNumber: 'PR を開く',
+    open: 'オープン', closed: 'クローズ済み', merged: 'マージ済み', draft: 'ドラフト',
+    prev: '前のページ', next: '次のページ', empty: 'このページにプルリクエストはありません。',
+    loading: 'GitHub から取得中…', select: 'プルリクエストを選ぶと差分内容を確認できます。', onGitHub: 'GitHub で開く',
+    noOrigin: 'GitHub のリポジトリを origin に設定した作業フォルダを選んでください。',
+    unavailable: 'GitHub のリポジトリまたは PR を取得できません。公開リポジトリに対応しています。',
+    rateLimit: '公開 GitHub API の利用上限に達しました。上限の解除後に再試行してください。',
+    failed: 'GitHub から取得できませんでした。再試行してください。',
+    changed: '取得中にプルリクエストが更新されました。もう一度開いてください。',
+    tooManyFiles: '変更ファイルが GitHub API の取得上限である 3,000 件を超えています。'
+};
+
+function errorMessage(error: unknown, labels: typeof en) {
+    return error instanceof PullRequestError ? labels[error.code] : labels.failed;
+}
+
+type Result<T> = {data: T; error?: never} | {data?: never; error: string};
+type Listing = Awaited<ReturnType<GitHubPullRequests['list']>>;
+type Pull = Awaited<ReturnType<GitHubPullRequests['load']>>;
+
+function PullRequests({name, labels, locale, renderBlock}: {
+    name: string; labels: typeof en; locale: string; renderBlock: ProjectBlockRenderer;
+}) {
+    const client = useMemo(() => createGitHubPullRequests(name), [name]);
+    const [page, setPage] = useState(1);
+    const [listing, setListing] = useState<{page: number; result: Result<Listing>}>();
+    const [input, setInput] = useState('');
+    const [selection, setSelection] = useState<{number: number}>();
+    const [loaded, setLoaded] = useState<{selection: NonNullable<typeof selection>; result: Result<Pull>}>();
+    const list = listing?.page === page ? listing.result : undefined;
+    const detail = loaded?.selection === selection ? loaded?.result : undefined;
+    useEffect(() => {
+        const controller = new AbortController();
+        setListing(undefined);
+        void client.list(page, controller.signal).then(data => {
+            if (!controller.signal.aborted) setListing({page, result: {data}});
+        }, error => {
+            if (!controller.signal.aborted) setListing({page, result: {error: errorMessage(error, labels)}});
+        });
+        return () => controller.abort();
+    }, [client, page, labels]);
+    useEffect(() => {
+        if (!selection) return;
+        const controller = new AbortController();
+        void client.load(selection.number, controller.signal).then(data => {
+            if (!controller.signal.aborted) setLoaded({selection, result: {data}});
+        }, error => {
+            if (!controller.signal.aborted) setLoaded({selection, result: {error: errorMessage(error, labels)}});
+        });
+        return () => controller.abort();
+    }, [client, selection, labels]);
+    const choose = (number: number) => {
+        if (!Number.isSafeInteger(number) || number < 1) return;
+        setSelection({number});
+        setInput(String(number));
+    };
+    const pr = detail?.data;
+    return <div className="twgit-content">
+        <aside>
+            <h3>{labels.title}</h3>
+            <p>{name}</p>
+            <form className="twgit-pr-number" onSubmit={event => {event.preventDefault(); choose(Number(input));}}>
+                <label>{labels.number}<input type="number" required min={1} max={Number.MAX_SAFE_INTEGER}
+                    value={input} onChange={event => setInput(event.currentTarget.value)}/></label>
+                <button type="submit">{labels.openNumber}</button>
+            </form>
+            {!list && <p role="status">{labels.loading}</p>}
+            {list?.error && <p role="alert">{list.error}</p>}
+            {list?.data && <>
+                {!list.data.items.length && <p>{labels.empty}</p>}
+                <ul>{list.data.items.map(item => <li key={item.number}>
+                    <button className="twgit-file" type="button" aria-pressed={selection?.number === item.number}
+                        onClick={() => choose(item.number)}>#{item.number} {item.title}</button>
+                </li>)}</ul>
+                <div className="twgit-pr-paging">
+                    <button type="button" disabled={page === 1} onClick={() => setPage(page - 1)}>{labels.prev}</button>
+                    <button type="button" disabled={!list.data.more} onClick={() => setPage(page + 1)}>{labels.next}</button>
+                </div>
+            </>}
+        </aside>
+        <main className="twgit-diff">
+            {!selection && <p>{labels.select}</p>}
+            {selection && !detail && <p role="status">{labels.loading}</p>}
+            {detail?.error && <p role="alert">{detail.error}</p>}
+            {pr && <>
+                <p className="twgit-pr-revision">
+                    <strong>#{pr.number} · {labels[pr.state]}</strong>
+                    {pr.author && <span>{pr.author}</span>}
+                    <code title={pr.head.sha}>{pr.head.ref} → {pr.base.ref}</code>
+                    <a href={pr.url} target="_blank" rel="noreferrer">{labels.onGitHub}</a>
+                </p>
+                <ProjectSourceReview title={pr.title} description={pr.description} files={pr.files} renderBlock={renderBlock} locale={locale}/>
+            </>}
+        </main>
+    </div>;
+}
+
+export function PullRequestReviewPanel({repository, locale, renderBlock}: {
+    repository: Repository; locale: string; renderBlock: ProjectBlockRenderer;
+}) {
+    const labels = locale.startsWith('ja') ? ja : en;
+    const [origin, setOrigin] = useState<{repository: Repository; name: string | null; failed?: boolean}>();
+    useEffect(() => {
+        let active = true;
+        void repository.readOrigin().then(value => {
+            if (active) setOrigin({repository, name: gitHubRepositoryFromOrigin(value)});
+        }, () => {
+            if (active) setOrigin({repository, name: null, failed: true});
+        });
+        return () => {active = false;};
+    }, [repository]);
+    if (origin?.repository !== repository) return <p role="status" className="twgit-context">{labels.loading}</p>;
+    if (!origin.name) return <p className="twgit-context" role="status">{origin.failed ? labels.failed : labels.noOrigin}</p>;
+    return <PullRequests key={origin.name} name={origin.name} labels={labels} locale={locale} renderBlock={renderBlock}/>;
+}

package/src/remote-operations.ts

@@ -0,0 +1,90 @@
+import * as git from 'isomorphic-git';
+import {GitPanelError} from './filesystem.js';
+import {createMutationFs} from './mutation-fs.js';
+import {createGitSmartHttp, GitSmartHttpError} from './smart-http.js';
+import type {GitSmartHttpOptions} from './smart-http.js';
+
+export type RemoteOperation = 'fetch' | 'pull' | 'push';
+export type RemoteSession = NonNullable<Awaited<ReturnType<GitSmartHttpOptions['getSession']>>>;
+export type GetRemoteSession = (remote: string, write: boolean) => Promise<RemoteSession | null>;
+
+export async function runRemoteOperation(root: FileSystemDirectoryHandle, operation: RemoteOperation,
+    getSession: GetRemoteSession, guard: () => void, signal?: AbortSignal) {
+    const execute = async () => {
+        guard();
+        const transaction = createMutationFs(root, operation === 'pull');
+        const options = {fs: transaction.fs, dir: '/', gitdir: '/.git', cache: {}};
+        const ref = await git.currentBranch(options);
+        if (!ref) throw new GitPanelError('unsupported');
+        const config = (path: string) => git.getConfig({...options, path});
+        const remote = await config('remote.origin.url');
+        if (typeof remote !== 'string') throw new GitPanelError('session');
+        const trackingRemote = await config('branch.' + ref + '.remote');
+        const trackingRef = await config('branch.' + ref + '.merge');
+        if ((trackingRemote && trackingRemote !== 'origin') || (trackingRef && !trackingRef.startsWith('refs/heads/')))
+            throw new GitPanelError('unsupported');
+        const refspecs = await git.getConfigAll({...options, path: 'remote.origin.fetch'});
+        if (refspecs.some(spec => !/^\+?refs\/heads\/[^:\s]+:refs\/remotes\/origin\/[^:\s]+$/u.test(spec)))
+            throw new GitPanelError('unsupported');
+        if (operation === 'pull') {
+            if ((await git.statusMatrix({...options, refresh: false})).some(([, head, worktree, stage]) =>
+                head !== worktree || head !== stage)) throw new GitPanelError('pullUnsafe');
+            await git.walk({...options, trees: [git.STAGE()], map: async (_path, [entry]) => {
+                if (entry && await entry.type() !== 'tree' && await entry.mode() !== 0o100644)
+                    throw new GitPanelError('unsupported');
+            }});
+        }
+        const write = operation === 'push';
+        const session = await getSession(remote, write);
+        if (!session) throw new GitPanelError('session');
+        guard();
+        const transport = createGitSmartHttp({remote, connection: session.connection,
+            getSession: () => getSession(remote, write), signal});
+        let receivedPushResponse = false;
+        let pushResponseFailed = false;
+        const http = {async request(request: Parameters<typeof transport.http.request>[0]) {
+            const response = await transport.http.request(request);
+            if (!write || request.method !== 'POST' || !response.body) return response;
+            receivedPushResponse = true;
+            const body = response.body;
+            // isomorphic-git stops at the report-status and drops later read errors, so record them here.
+            return {...response, body: (async function* () {
+                try {
+                    yield* body;
+                } catch (error) {
+                    pushResponseFailed = true;
+                    throw error;
+                }
+            })()};
+        }};
+        const args = {...options, ...transport, http, remote: 'origin', ref,
+            remoteRef: trackingRef || `refs/heads/${ref}`};
+        try {
+            if (operation === 'fetch') await git.fetch({...args, tags: false});
+            else if (operation === 'pull') await git.fastForward(args);
+            else {
+                await git.push({...args, force: false, signal});
+                if (pushResponseFailed) throw new GitPanelError('pushUnknown');
+            }
+        } catch (error) {
+            if (error instanceof GitSmartHttpError) {
+                if (error.code === 'PUSH_OUTCOME_UNKNOWN') throw new GitPanelError('pushUnknown');
+                if (['SESSION_REQUIRED', 'SESSION_UNAVAILABLE', 'SESSION_EXPIRED', 'REAUTH_REQUIRED'].includes(error.code))
+                    throw new GitPanelError('session');
+            }
+            const code = (error as {code?: string})?.code;
+            if (code === 'FastForwardError') throw new GitPanelError('diverged');
+            if (receivedPushResponse && !(error instanceof GitSmartHttpError) && code !== 'GitPushError')
+                throw new GitPanelError('pushUnknown');
+            if (error instanceof GitPanelError) throw error;
+            throw new GitPanelError('remoteFailed');
+        }
+        try {
+            await transaction.commit(guard);
+        } catch (error) {
+            if (write) throw new GitPanelError('pushRefresh');
+            throw error;
+        }
+    };
+    return globalThis.navigator?.locks ? navigator.locks.request('tw-plus-git-mutation', execute) : execute();
+}