Github Reopen Closed Pull Request Vs Merge