From 3300a1e4a463dcc007292ff3c3e4cf7cc2252e71 Mon Sep 17 00:00:00 2001 From: DanConwayDev Date: Tue, 6 Aug 2024 13:11:35 +0100 Subject: feat(remote): `fetch` ignore git servers `prs/*` as the namespace is reserved for nostr patches --- src/git_remote_helper.rs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/git_remote_helper.rs b/src/git_remote_helper.rs index 0cfd268..d4aee42 100644 --- a/src/git_remote_helper.rs +++ b/src/git_remote_helper.rs @@ -440,7 +440,11 @@ fn fetch( ) -> Result<()> { let fetch_batch = get_oids_from_fetch_batch(stdin, oid, refstr)?; - let oids_from_git_servers = fetch_batch.values().cloned().collect::>(); + let oids_from_git_servers = fetch_batch + .iter() + .filter(|(refstr, _)| !refstr.contains("refs/heads/prs/")) + .map(|(_, oid)| oid.clone()) + .collect::>(); let mut errors = HashMap::new(); let term = console::Term::stderr(); -- cgit v1.2.3