readthedocs.org

da1f31fe - GitHub App: respect project option about comment (#12281)