Skip to content

Increase context around diffs#67

Closed
pfez wants to merge 1 commit into
revng:masterfrom
pfez:feature/more-diff-context
Closed

Increase context around diffs#67
pfez wants to merge 1 commit into
revng:masterfrom
pfez:feature/more-diff-context

Conversation

@pfez
Copy link
Copy Markdown
Contributor

@pfez pfez commented May 30, 2025

The new value is picked to ensure that whenever we have a commit hash mismatch the diff also shows the offending repository in the error message, easing troubleshooting.

The new value is picked to ensure that whenever we have a commit hash
mismatch the diff also shows the offending repository in the error
message, easing troubleshooting.
@pfez pfez requested a review from aleclearmind May 30, 2025 14:22
@pfez pfez assigned aleclearmind and pfez and unassigned pfez May 30, 2025
@aleclearmind
Copy link
Copy Markdown
Contributor

aleclearmind commented Jun 25, 2025

Merged in 4ae4b4c. Thanks.

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.

2 participants