Get the remote's url for pushing
If url.*.pushInsteadOf has been configured for this URL, it will return the modified URL.
the remote
a pointer to the url or null if no special url for pushing is set
See Implementation
Get the remote's url for pushing
If url.*.pushInsteadOf has been configured for this URL, it will return the modified URL.