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.
-- Bastien
- Re: [BUG] Info JS does not work [9.5.3 (release_9.5.3-467-g... Bastien
- Re: [BUG] Info JS does not work [9.5.3 (release_9.5.3-... Ihor Radchenko
- Re: [BUG] Info JS does not work [9.5.3 (release_9.5.3-... Ihor Radchenko
- Re: [BUG] Info JS does not work [9.5.3 (release_9.... Bastien
- Re: [BUG] Info JS does not work [9.5.3 (releas... Ihor Radchenko
- Re: [BUG] Info JS does not work [9.5.3 (re... Bastien
- Re: [BUG] Info JS does not work [9.5.... Ihor Radchenko
- Re: [BUG] Info JS does not work [... Bastien
- Re: [BUG] Info JS does not wo... Ihor Radchenko
- Re: [BUG] Info JS does not wo... Tim Cross
- Re: [BUG] Info JS does not wo... Bastien
- Re: [BUG] Info JS does not work [9.5.3 (release_9.5.3-... Bastien Guerry
