Not closing the merged PRs anymore from Spark github mirror?

[Henry Saputra]

Seems like some merged PRs by Reynold and Patrick did not close the PR
automatically anymore?

- Henry