MAINTENANCE: Automated closing of pull requests.

This commit exists to close the following pull requests on Github:

Closes #7971 (requested by yhuai)
Closes #8539 (requested by srowen)
Closes #8746 (requested by yhuai)
Closes #9288 (requested by andrewor14)
Closes #9321 (requested by andrewor14)
Closes #9935 (requested by JoshRosen)
Closes #10442 (requested by andrewor14)
Closes #10585 (requested by srowen)
Closes #10785 (requested by srowen)
Closes #10832 (requested by andrewor14)
Closes #10941 (requested by marmbrus)
Closes #11024 (requested by andrewor14)