There should be a way to extract the URL from `pygithub`.
There should be a way to extract the URL from
pygithub.