diff options
| author | DanConwayDev <DanConwayDev@protonmail.com> | 2026-02-03 16:13:59 +0000 |
|---|---|---|
| committer | DanConwayDev <DanConwayDev@protonmail.com> | 2026-02-03 17:05:16 +0000 |
| commit | c163d717147b92b16d89da2fbccef775647b5a07 (patch) | |
| tree | 8e512d1d64a3665c2b90954fac9f3d707d7e99d3 /src/git/mod.rs | |
| parent | 874a8abe1d076cfafd9baf919ec23d7d58200698 (diff) | |
fix: accept no-op pushes where old_oid == new_oid
Fixes race condition where user's push becomes no-op after state event
is applied between fetch and push. Now accepts these as successful
no-ops, matching Git's 'Everything up-to-date' behavior.
- Add early detection in get_state_authorization_for_specific_owner_repo
- Return success for all-noop pushes without requiring purgatory event
- Document behavior in inline-authorization.md
Diffstat (limited to 'src/git/mod.rs')
0 files changed, 0 insertions, 0 deletions