Github user justinleet commented on the issue:
https://github.com/apache/metron/pull/1014
@ottobackwards If it's a feature branch, the PR on Github doesn't
automatically close. It only happens for merges into a master. It's a bit
annoying, but I'm not sure there's a whole lot to do about it---
