Github Reference Pull Request Vs Merge