Github user spmallette commented on the issue:
https://github.com/apache/tinkerpop/pull/891
you should have been able to just keep pushing commits to the same branch
you had and they would have reflected here in this pull request.
if you destroyed your repo and re-cloned then i think you will have to
close this pull request and open a fresh one. if you want this particular
commit as a starting point you should be able to still:
`git fetch upstream pull/891/head:pr-891`
where `upstream` is this repo and then cherry-pick the commit. i assume
that will work.
---
