diff options
| author | DanConwayDev <DanConwayDev@protonmail.com> | 2026-01-05 15:05:53 +0000 |
|---|---|---|
| committer | DanConwayDev <DanConwayDev@protonmail.com> | 2026-01-05 15:05:53 +0000 |
| commit | b29c0362bfb881febf9848e40023ac588d1e9aa7 (patch) | |
| tree | b8ab4a5f27a7ac458270985216c5cf0b4c7a65d4 /docs/tutorials | |
| parent | 3f50107062d55a15decc47e93fd4e9f473de86e8 (diff) | |
sync PR refs (refs/nostr/<event-id>) to all owner repos when push received
When a push to refs/nostr/<event-id> is received (PR data), the git data
is now synced to all other owner repositories that share maintainers with
the source owner. This mirrors the behavior added for state event data.
Changes:
- Add sync_pr_refs_to_owner_repos() function in git/sync.rs
- Add PrSyncResult struct to track sync statistics
- Add copy_single_commit_between_repos() helper function
- Call PR sync in handle_receive_pack after successful push
- Add unit test for PrSyncResult default values
Diffstat (limited to 'docs/tutorials')
0 files changed, 0 insertions, 0 deletions