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

Reply via email to