Files
ngit-grasp/src
DanConwayDev c163d71714 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
2026-02-03 17:05:16 +00:00
..
2026-01-27 20:38:17 +00:00