X-Loop: help-debbugs@HIDDEN
Subject: bug#69323: [PATCH] html: Offer new download URL after transfer to Savannah.
Resent-From: Felix Lechner <felix.lechner@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-mumi@HIDDEN
Resent-Date: Fri, 23 Feb 2024 12:17:02 +0000
Resent-Message-ID: <handler.69323.B.17086906011786 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 69323
X-GNU-PR-Package: mumi
X-GNU-PR-Keywords: patch
To: 69323 <at> debbugs.gnu.org
Cc: Felix Lechner <felix.lechner@HIDDEN>
X-Debbugs-Original-To: bug-mumi@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.17086906011786
(code B ref -1); Fri, 23 Feb 2024 12:17:02 +0000
Received: (at submit) by debbugs.gnu.org; 23 Feb 2024 12:16:41 +0000
Received: from localhost ([127.0.0.1]:35042 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1rdUTo-0000Sk-O6
for submit <at> debbugs.gnu.org; Fri, 23 Feb 2024 07:16:41 -0500
Received: from lists.gnu.org ([209.51.188.17]:36206)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <felix.lechner@HIDDEN>) id 1rdUTk-0000SS-L1
for submit <at> debbugs.gnu.org; Fri, 23 Feb 2024 07:16:39 -0500
Received: from eggs.gnu.org ([2001:470:142:3::10])
by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from <felix.lechner@HIDDEN>)
id 1rdUTK-0008GF-Ey
for bug-mumi@HIDDEN; Fri, 23 Feb 2024 07:16:11 -0500
Received: from sail-ipv4.us-core.com ([208.82.101.137])
by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256)
(Exim 4.90_1) (envelope-from <felix.lechner@HIDDEN>)
id 1rdUTH-0006Cb-Ui
for bug-mumi@HIDDEN; Fri, 23 Feb 2024 07:16:10 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=2017; bh=pZg3HT7LA0Gu+Yy
Cv12WwbU/9R33m9/mguCRqRvtApU=; h=date:subject:cc:to:from;
d=lease-up.com; b=ITGTqpz2BNi0GJD4ZhZMK4CAxgbHmrSpBZ5zIaqGm2V7Z21mngP9
n2SPZrGHRHDgPAu+pn06JUFuR/i0Tl6mXfARqzVP0TZ0K39P66kTGAPKVbf2fEhKNHSJKH
QTqySIoVv5thCOj0TbTVU0SuHo9qgp+0YFZHF2Ea9j0sZDQKY=
Received: by sail-ipv4.us-core.com (OpenSMTPD) with ESMTPSA id 15eb1fd1
(TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO);
Fri, 23 Feb 2024 12:16:02 +0000 (UTC)
Received: from localhost (localhost [local])
by localhost (OpenSMTPD) with ESMTPA id ad1f945b;
Fri, 23 Feb 2024 12:16:02 +0000 (UTC)
From: Felix Lechner <felix.lechner@HIDDEN>
Date: Fri, 23 Feb 2024 04:15:33 -0800
Message-ID: <20240223121540.9114-1-felix.lechner@HIDDEN>
X-Mailer: git-send-email 2.41.0
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=208.82.101.137;
envelope-from=felix.lechner@HIDDEN; helo=sail-ipv4.us-core.com
X-Spam_score_int: -17
X-Spam_score: -1.8
X-Spam_bar: -
X-Spam_report: (-1.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.25,
SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01,
UNPARSEABLE_RELAY=0.001 autolearn=no autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.1 (-)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.1 (--)
* mumi/web/view/html.scm: Offer new download URL after transfer to
Savannah.
---
mumi/web/view/html.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm
index d44ff6a..2599aeb 100644
--- a/mumi/web/view/html.scm
+++ b/mumi/web/view/html.scm
@@ -77,7 +77,7 @@
(br)
"Now with even more " (span (@ (class "lambda")) "λ") "! ")
(p "This is free software. Download the "
- (a (@ (href "https://git.elephly.net/software/mumi.git"))
+ (a (@ (href "https://git.savannah.gnu.org/cgit/guix/mumi.git"))
"source code here") "."))
(script
(@ (src "/js/sort-table.js")))))))
base-commit: ba4750f0d12fedbbc9439c31715f95d0007dce8d
--
2.41.0
Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) Content-Type: text/plain; charset=utf-8 X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: Felix Lechner <felix.lechner@HIDDEN> Subject: bug#69323: Acknowledgement ([PATCH] html: Offer new download URL after transfer to Savannah.) Message-ID: <handler.69323.B.17086906011786.ack <at> debbugs.gnu.org> References: <20240223121540.9114-1-felix.lechner@HIDDEN> X-Gnu-PR-Message: ack 69323 X-Gnu-PR-Package: mumi X-Gnu-PR-Keywords: patch Reply-To: 69323 <at> debbugs.gnu.org Date: Fri, 23 Feb 2024 12:17:02 +0000 Thank you for filing a new bug report with debbugs.gnu.org. This is an automatically generated reply to let you know your message has been received. Your message is being forwarded to the package maintainers and other interested parties for their attention; they will reply in due course. Your message has been sent to the package maintainer(s): bug-mumi@HIDDEN If you wish to submit further information on this problem, please send it to 69323 <at> debbugs.gnu.org. Please do not send mail to help-debbugs@HIDDEN unless you wish to report a problem with the Bug-tracking system. --=20 69323: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D69323 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.