ci: remove old docs-pr action

This action is no longer functional. A new automation for this can be
re-added later if needed.

Author: obycode