Neil, On Sunday, 2022-07-31 21:43:12 +0100, you wrote:
> ... > I switched to using git for syncing, from github, and haven't looked > back. It is *much* faster, several times faster syncing from github than > using rsync to sync from a local mirror, and github is always there. The replies from you and some other people suggesting the use of Git for syncing and providing howtos were the straw that broke the camel's back and overcame my lazyness. So I too switched to Git and now am as happy as can be :-D Many thanks for this tip :-) Sincerely, Rainer