diff options
| author | DanConwayDev <DanConwayDev@protonmail.com> | 2024-09-13 20:55:12 +0100 |
|---|---|---|
| committer | DanConwayDev <DanConwayDev@protonmail.com> | 2024-09-13 20:55:12 +0100 |
| commit | fb48125595af09c557d03013e4e096d1d072e791 (patch) | |
| tree | 7011c39d48fb44b8bc39b6b7ee5a1e825290d971 /src/bin/ngit/cli.rs | |
| parent | b685eefd3ca2821cba3d740d6f114db2d9649a5a (diff) | |
fix(remote): add robustness to push reporting
by avoiding bugs where lines are removed accidentally by storing
report in a mutex and rewriting the entire report at each update
Diffstat (limited to 'src/bin/ngit/cli.rs')
0 files changed, 0 insertions, 0 deletions