Improve the error message when a directory is not available while fetching using rsync#6027

Merged

kit-ty-kate merged 1 commit intoocaml:masterfrom kit-ty-kate:improved-error-msg-rsync

Sep 16, 2024

+11-10

Commits on Sep 16, 2024

Improve the error message when a directory is not available while fetching using rsync

kit-ty-kate
authored and
rjbou
committed