Github user edespino commented on the issue:
https://github.com/apache/incubator-hawq/pull/972
@shivzone - for future reference, there are two ways a PR can be
automatically closed that I rely on regularly:
- You can reference the pull request in the commit description or body of
the commit message (e.g. "closes #972), the PR will automatically be closed.
- If the review branch has been recently rebased on master, the sha1 in the
review branch and master can be the same after the merge process. If this is
the case, the PR will detect the change has been merged and the PR is
automatically closed.
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
