Ihor Radchenko <[email protected]> writes:
If we are really concerned about stability of the mirror/repo *URL*, we
can setup redirect rules in orgmode.org that we can adjust as needed,
without trying to use any particular git hosting.
Yes, my concern is the frequent downtime of the git gnu.org server, I'm not sure how a 301 to
another /http/ server is of any help.
Anyway, I think we are discussing a bit in circles:
- my first concern was suggesting a mirror in the documentation for clarity towards users (and you
fixed that, thanks).
- my second concern was having a reliable mirror because using the gnu server is frustrating (though
I understand what's happening). I learned that there is a Sourcehut mirror and sr.ht is reliable,
so this point is also out of the way.
Now, if the Sourcehut official mirror would be kept up-to-date, that would be
great :)
