Github user PascalSchumacher commented on the pull request:
https://github.com/apache/commons-lang/commit/b877fb9abef4a19eec9cc7329acbd433648b8f7b#commitcomment-17226478
Hi Chas,
just wanted to let you know if you remove the "github" part e.g. "closes
#87" the pull request will be closed. With "github" between closes and the pull
request number the pull request will stay open, e.g.:
https://github.com/apache/commons-lang/pull/130
Cheers,
Pascal
---
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 infrastruct...@apache.org or file a JIRA ticket
with INFRA.
---
