Github user afs commented on the issue:
https://github.com/apache/jena/pull/318
FYI: On a PR branch, you can do all sorts of git stuff on your local repo
like reset to remove a commit, rebasing, and squashing. Then do a force push
to your PR branch at GH and it will all appear here with the updated state. GH
even tracks revisions and hides comments no longer relevant. (Use all this
with care!)---
