Merge pull request #6276 from lhchavez/delete-git_transport_smart_proxy_options remote: Delete a now-inexistent API declaration