Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Replace short URL from #63103 with full URL. #77768
It's polite to show a user where a URL is taking them before they follow it. Also, the message is already (helpfully) verbose, so there's not much benefit in using a shortener in the first place.
This change also makes the documentation consistent with existing practice when referring to GitHub pull requests in user-visible strings; see, for example: