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.)