This link was originally shortened in bf0cb27489
to improve manpage formatting, but unfortunately Github is now
taking down this service on the 29th. Thus, the full link is
being reinstated.
ref: https://github.blog/changelog/2022-04-25-git-io-deprecation/