Revert "Revert "If push url specifies a port, use it.""

This reverts commit ce959a4675b464407f0e5f3577e861c695f40000.