MAINTENANCE: Automated closing of pull requests.

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

Closes #2777 (close requested by 'ankurdave')
Closes #2947 (close requested by 'nchammas')
Closes #3141 (close requested by 'tdas')
Closes #2989 (close requested by 'pwendell')