On 2019-06-07 2:54 am, Aaron Hill wrote:
Hi folks,
Who is the contact point for the LSR, more specifically the individual
responsible for their DNS?
There has been a long-standing issue with their name servers that
prevent services like CloudFlare from reliably resolving records.
This is still relevant, as the name servers at unimi.it are still broken
w.r.t. to requests from CloudFlare.
But
now things are worse, and it seems that lsr.dsi.unimi.it is no longer
a valid domain.
*smacks forehead* That's what I get for clicking links in old emails on
this mailing list and not noticing a one-letter change in the domain
name over time. Ignore this part of the query. The current domain name
is lsr.di.unimi.it.
On a semi-related note, would it be possible to get a mirror of the
LSR hosted somewhere like GitHub? Or does such a mirror already exist
where one could `git clone` a local copy of the LSR?
Still a valid question.
-- Aaron Hill
_______________________________________________
lilypond-user mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/lilypond-user