Fixed url param in github_ref.github_pull()

The list element param$github_url does not exist so it’s always NULL.
The function should check instead the element param$url, which may or
may not be NULL.