gitk: add external diff file rename detection #1774

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed

ToBoMi wants to merge 1 commit into gitgitgadget:master from ToBoMi:detect_renamed_files_when_opening_diff

Closed

gitk: add external diff file rename detection #1774

gitk: add external diff file rename detection

GitGitGadget / handle_pr_push succeeded Nov 6, 2025 in 20s

Handle PR push

Handling new commits in #1774

Details

This handles #1774, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/19130741434 for details.

View more details on GitGitGadget