mirror of
https://gitlab.com/veilid/veilid.git
synced 2025-01-26 22:37:05 -05:00
571bd45783
The rsync push successfully put the new repo files on the repo server, but also left the original files in place which caused old packages and repo errata to build up over time. Adding the --delete switch results removal of files on the repo server that were deleted as part of the the distribution scripts "Clean and reset the workspaces" section.