readthedocs.org

GitHub App: skip repo sync notification for GH app users

#12774

Merged