don't worry, i simply switched to Fossil; repo.or.cz mirror will still be supported, and you can keep using it

FossilOrigin-Name: fbe15050bf4e5a7d7cc13f55eee4555e755b6311af5d16938197b24523c3767a