Commit d17c7ee
committed
Handle BrokenPipe errors gracefully during git push
When git finishes receiving all the data it needs during a push operation,
it may close the pipe before git-remote-sqlite finishes writing its final
response. This is expected behavior - the push has succeeded from git's
perspective, and we should not treat this as a fatal error.
This was causing CI failures during the repo-db build step when running
`git push --mirror`, where git would close the connection after receiving
all objects but before reading the final "ok" response.
## Test plan
Ran `zig build test` and `zig build repo-db` locally to verify the fix.
The repo-db step now completes successfully without the BrokenPipe error.1 parent 6fb366f commit d17c7ee
1 file changed
+7
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
127 | 127 | | |
128 | 128 | | |
129 | 129 | | |
130 | | - | |
131 | | - | |
| 130 | + | |
| 131 | + | |
| 132 | + | |
| 133 | + | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
132 | 137 | | |
133 | 138 | | |
134 | 139 | | |
| |||
0 commit comments