Idea Git Pull Request Vs Merge