MAINTENANCE: Automated closing of pull requests.

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

Closes #1875 (close requested by 'marmbrus')
Closes #3566 (close requested by 'andrewor14')
Closes #3487 (close requested by 'pwendell')