Github Reopen Pull Request Vs Merge