Skip to content

Add support for empty files through git extensions#26

Merged
kit-ty-kate merged 7 commits intohannesm:mainfrom
kit-ty-kate:empty-delete-create
May 1, 2025
Merged

Add support for empty files through git extensions#26
kit-ty-kate merged 7 commits intohannesm:mainfrom
kit-ty-kate:empty-delete-create

Conversation

@kit-ty-kate
Copy link
Copy Markdown
Collaborator

Supersedes #25

@kit-ty-kate
Copy link
Copy Markdown
Collaborator Author

Both the extended tests and the manual opam-repository test were successful. I'm rebasing the branch and merging

kit-ty-kate and others added 7 commits May 1, 2025 19:30
The POSIX unified diff format does not support them (empty file = absent file)
but the git extensions "deleted file mode" and "new file mode" do.
This also adds support for deleting files without have to knew their
content.

Adding support for these extensions requires specialised variants
to be able to print both the "[deleted|new] file mode <filename>" line
and the "git --diff ..." header line.
@kit-ty-kate kit-ty-kate force-pushed the empty-delete-create branch from e77a039 to 77cf4aa Compare May 1, 2025 18:50
@kit-ty-kate kit-ty-kate changed the title Handle diffing empty files using git extensions Add support for empty files through git extensions May 1, 2025
@kit-ty-kate kit-ty-kate merged commit 6ef2dbd into hannesm:main May 1, 2025
1 check was pending
@kit-ty-kate kit-ty-kate deleted the empty-delete-create branch May 1, 2025 18:55
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