readthedocs.org

Build: don't fetch all branches when building default branch

#12882

Merged