[issue21956] Doc files deleted from repo are not deleted from docs.python.org.

Tue Apr 5 05:15:56 EDT 2022

Julien Palard <julien+python at palard.fr> added the comment:

This is resolved since https://github.com/python/docsbuild-scripts/pull/28.

It could still happen in very specific conditions, but not for a long time, see:

https://github.com/python/docs-community/issues/41#issuecomment-1088462199=

----------
nosy: +mdk
resolution:  -> fixed
stage:  -> resolved
status: open -> closed

_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue21956>
_______________________________________