Skip to content

feat(git): add guided repository configuration - #1

Merged
knocking4thcylinder merged 1 commit into
feat/jj-support-nightlyfrom
feat/vcs-guided-config
Sep 27, 2026
Merged

knocking4thcylinder merged 1 commit into
feat/jj-support-nightlyfrom
feat/vcs-guided-config

Conversation

@knocking4thcylinder

@knocking4thcylinder knocking4thcylinder commented Sep 26, 2026 •

Copy link
Copy Markdown
Owner

Problem

Changing a Git repository's commit identity and large-file diff threshold requires command-line configuration.

Change

Add guided repository settings for Git author name, author email, and core.bigFileThreshold on web, desktop, and mobile. Each field shows its effective and repository values. Save writes a repository override; Reset removes it and restores inheritance. The threshold changes Git's diff treatment; Git checkpoints still include large files.

This PR is stacked on jj support PR #13816. The Jujutsu settings are in a separate PR stacked above this one.

Verification

  • Focused Git configuration and authorization tests passed: 10/10.
  • Targeted server, web, and mobile typechecks passed; focused lint and formatting passed.
  • In an isolated web client, saved a 3 MiB Git threshold, verified core.bigFileThreshold=3m in the repository, then reset it and verified the local override was removed.

Native mobile could not be manually exercised because device access is disabled in this environment. Desktop uses the verified web surface.

UI evidence

Before saving the Git large-file setting

After saving the Git large-file setting

GPT-6-Sol via the Codex harness in T3 Code.

@github-actions github-actions Bot added vouch:trusted PR author is trusted by repo permissions or the VOUCHED list. size:XL labels Sep 26, 2026
@knocking4thcylinder
knocking4thcylinder marked this pull request as ready for review September 27, 2026 01:28
@knocking4thcylinder
knocking4thcylinder merged this pull request into feat/jj-support-nightly Sep 27, 2026
13 of 24 checks passed
@knocking4thcylinder knocking4thcylinder changed the title feat(vcs): add guided Git and jj repository settings feat(git): add guided repository configuration Sep 27, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size:XL vouch:trusted PR author is trusted by repo permissions or the VOUCHED list.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant