From e917027d1f6152475777239fa87a230039f355bb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Sun, 4 Apr 2021 21:54:16 +0200
Subject: gnu-maintenance: Remove unused procedure.

* guix/gnu-maintenance.scm (savannah-package?): Remove.
---
 guix/gnu-maintenance.scm | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'guix/gnu-maintenance.scm')

diff --git a/guix/gnu-maintenance.scm b/guix/gnu-maintenance.scm
index eff26cced4..c7972d13a5 100644
--- a/guix/gnu-maintenance.scm
+++ b/guix/gnu-maintenance.scm
@@ -637,9 +637,6 @@ GNOME packages; EMMS is included though, because its releases are on gnu.org."
                           (lambda (urls)
                             (map rewrite-url urls))))))
 
-(define savannah-package?
-  (url-prefix-predicate "mirror://savannah/"))
-
 (define %savannah-base
   ;; One of the Savannah mirrors listed at
   ;; <http://download0.savannah.gnu.org/mirmon/savannah/> that serves valid
-- 
cgit v1.2.3