Max Nikulin <maniku...@gmail.com> writes: > If archive is intentionally excluded from export then the file should > be moved back and the redirection should be dropped.
Yes, files in archives/ should *not* be exported: that's a place to move problematic .org files that contributors may still want to explore from their local repository. > Moreover, > existing worg/archive/**.html files should be removed from the web > server (currently rsync from .build.yml just adds new files without > removing anything). Can you confirm I should do this: - revert the last change on nginx.conf - delete https://orgmode.org/worg/archive/ entirely from the server Anything else? -- Bastien