On Wed, 11 Aug 2021, Dmitry Boyarintsev via fpc-pascal wrote: > why not to use Github mirror? Why not encourage people to go with the times ? Git is not some witchcraft or dark magic. It's only a version system. As a programmer, switching version systems should be a no-brainer. Michael.