I want to mirror a webdav directory to have local backups of it. Currently, I use
rm *
lftp <<__END__
open -u USER,PW https://example.com/remote.php/caldav/calendars/USER/kalender
mget /remote.php/caldav/calendars/USER/kalender/*.ics .
__END__
but re-downloading everything repeatedly is annoying.
What would be a suitable tool that mirrors a remote WebDAV directory to a local directory, including deleting removed files and adding new ones? (Should run on Linux and be Free Software.)