Comment by mogoh

There would be no merge if there isn't a PR in the first place.