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

This reverts commit f74a7147c8138f14a1dc32539286ea2d27374680.