[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [BUG] Info JS does not work [9.5.3 (release_9.5.3-467-g2bd34e @ /Use
|
From: |
Ihor Radchenko |
|
Subject: |
Re: [BUG] Info JS does not work [9.5.3 (release_9.5.3-467-g2bd34e @ /Users/salutis/src/org-mode/lisp/)] |
|
Date: |
Tue, 20 Sep 2022 16:31:55 +0800 |
Bastien <bzg@gnu.org> writes:
> FWIW, I just set this up: the org-mode.git Savannah repository is
> now mirrored to git.sr.ht and github.com every day at 1am CET.
Thanks! Should we then add an information about mirror to orgmode.org
(or, at least, to WORG)?
Also, having an actual mirror in sr.ht means that we may set up automatic
tests. WDYT about this idea?
--
Ihor Radchenko,
Org mode contributor,
Learn more about Org mode at https://orgmode.org/.
Support Org development at https://liberapay.com/org-mode,
or support my work at https://liberapay.com/yantar92