I created a github PR but it is showing older commits that are already merged. I had not fetched new changes before pushing, so did the merge from upstream and pushed that.
