Disable ./maint/check_doc_features (!985) · Merge requests · The Tor Project / Core / Arti

Ian Jackson requested to merge Diziet/arti:docsrs into main Jan 24, 2023

This is a fair amount of manual work to keep in sync. I would like to disable this, at least as a mandatory check, for now.

Fixes #601 (closed) (the request for it to become non-blocking). The underlying issue is #581 and remains open.

CC @trinity-1686a @nickm @eta in case this is controversial.

Disable ./maint/check_doc_features