Github Checkout Pull Request Meaning