fix: include KIND_PULL_REQUEST IDs in proposal_ids for fetch filters

kind-5 deletion events that only #e-tag a PR Kind event (kind 1618)
were never fetched because proposal_ids was built from Kind::GitPatch
events only. The deleted PR event remained in the local cache and
continued to appear as a remote ref (refs/heads/pr/<branch>).

1 files changed, 5 insertions, 2 deletions

diff --git a/src/lib/client.rs b/src/lib/client.rs
index c1bf751..41e5379 100644
--- a/src/lib/client.rs
+++ b/src/lib/client.rs
@@ -1645,7 +1645,7 @@ async fn create_relays_request(
                 git_repo_path,
                 vec![
                     nostr::Filter::default()
-                        .kinds(vec![Kind::GitPatch])
+                        .kinds(vec![Kind::GitPatch, KIND_PULL_REQUEST])
                         .custom_tags(
                             SingleLetterTag::lowercase(nostr_sdk::Alphabet::A),
                             repo_coordinates_without_relays
@@ -1657,7 +1657,10 @@ async fn create_relays_request(
             )
             .await?
             {
-                if event_is_patch_set_root(event) || event_is_revision_root(event) {
+                if event_is_patch_set_root(event)
+                    || event_is_revision_root(event)
+                    || event.kind.eq(&KIND_PULL_REQUEST)
+                {
                     proposals.insert(event.id);
                     contributors.insert(event.pubkey);
                 }