Skip to content

fix(git): preserve pathnames in command output#237

Merged
sywhang merged 2 commits into
mainfrom
pbt-git-pathnames
Jul 26, 2026
Merged

fix(git): preserve pathnames in command output#237
sywhang merged 2 commits into
mainfrom
pbt-git-pathnames

Conversation

@sywhang

@sywhang sywhang commented Jul 24, 2026

Copy link
Copy Markdown
Contributor

Request and parse NUL-delimited Git output so spaces, tabs, quotes, backslashes, Unicode, and rename destinations retain their exact pathnames.

Add a Rapid property over generated legal Git paths and a real-repository boundary test covering DiffWithStatus and FileHashes.

Request and parse NUL-delimited Git output so spaces, tabs, quotes, backslashes, Unicode, and rename destinations retain their exact pathnames.

Add a Rapid property over generated legal Git paths and a real-repository boundary test covering DiffWithStatus and FileHashes.
@sywhang
sywhang requested review from a team as code owners July 24, 2026 17:33
@sywhang
sywhang merged commit e7420d1 into main Jul 26, 2026
10 checks passed
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