Re: [sqlite] The server https://www3.sqlite.org/ is not working

On Sep 11, 2018, at 2:29 AM, Domingo Alvarez Duarte wrote: > > I think that could be a good idea to add an option to fossil update command > to allow override the url for the repository so in cases like today I could > do: > > fossil updata --url https://www1.sqlite.org/cgi/src There are

[sqlite] The server https://www3.sqlite.org/ is not working

Hello Richard ! Today the server https://www3.sqlite.org/ is not working, I usually follow the sqlite3 repository daily and I think that could be a good idea to add an option to fossil update command to allow override the url for the repository so in cases like today I could do: fossil