Github user kinow commented on the issue:
https://github.com/apache/jena/pull/436
@xristy if you'd like to merge it, and you cannot use the GitHub interface,
then you can
* Add a remote in your git repository using the developerConnection URL
from the pom.xml (https://github.com/apache/jena/blob/master/pom.xml) but
without the scm:git part (i.e. https://git-wip-us.apache.org/repos/asf/jena.git)
* Merge the work and push to master
* If the commit tree is OK, GitHub should understand this branch was
merged. But if you changed or didn't rebase the code, you can still close it
manually, or amend a commit and add somewhere in the message "This closes
pr#436"
HTH
---
