Hi committers, On accepting pull requests, we can automatically close pull requests by adding "close #777" where 777 is PR number.
So, better to include "close #xxx" when merging pull requests. Refer discussion on https://help.github.com/articles/changing-a-commit-message/ https://issues.apache.org/jira/browse/INFRA-7918 Thanks, Makoto
