Skip to content

Conversation

@dasJ
Copy link
Member

@dasJ dasJ commented Jan 4, 2026

If we are on GitHub, use their scm diff by default which is more feature-rich and offloads the diff work to stronger infrastructure

If we are on GitHub, use their scm diff by default which is more
feature-rich and offloads the diff work to stronger infrastructure
@dasJ dasJ added this pull request to the merge queue Jan 5, 2026
Merged via the queue into master with commit 5e2e967 Jan 5, 2026
2 checks passed
@dasJ dasJ deleted the feat/github-diffs branch January 5, 2026 13:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant