[PATCH] html: Offer new download URL after transfer to Savannah.

  • Done
  • quality assurance status badge
Details
2 participants
  • Arun Isaac
  • Felix Lechner
Owner
unassigned
Submitted by
Felix Lechner
Severity
normal

Debbugs page

Felix Lechner wrote 1 years ago
(address . bug-mumi@gnu.org)(name . Felix Lechner)(address . felix.lechner@lease-up.com)
20240223121540.9114-1-felix.lechner@lease-up.com
* 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(-)

Toggle diff (17 lines)
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
Felix Lechner wrote 1 years ago
Deployed in the wild
(address . 69323@debbugs.gnu.org)
87zfvm2ev6.fsf@lease-up.com
Hi,

This patch was deployed on a live system. You can see it working on
https://better.juix.org.

Kind regards
Felix
Arun Isaac wrote 10 months ago
Re: [PATCH] html: Offer new download URL after transfer to Savannah.
(address . 69323-done@debbugs.gnu.org)(name . Felix Lechner)(address . felix.lechner@lease-up.com)
8734qp70q1.fsf@systemreboot.net
Hi Felix,

I have applied and pushed this patch.

Thank you!
Arun
Closed
?
Your comment

This issue is archived.

To comment on this conversation send an email to 69323@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 69323
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch
You may also tag this issue. See list of standard tags. For example, to set the confirmed and easy tags
mumi command -t +confirmed -t +easy
Or, remove the moreinfo tag and set the help tag
mumi command -t -moreinfo -t +help