Github user mmiklavc commented on the issue:
https://github.com/apache/metron/pull/1214
@jagdeepsingh2 - you *could* try this -
https://stackoverflow.com/questions/134882/undoing-a-git-rebase, but at this
point it might be better to just open a new PR bc pushing up to github is going
to cause some additional drama as well. You'll want to keep the default
checklist that's populated in the description when you open the PR. Please note
the comments from @nickwallen and myself regarding what should also be included
in your description.
In general, once you've pushed a branch to the public it's better to just
git merge, otherwise you can get into trouble like this. We flatten PR's once
they're committed to master anyhow.
---
