Commit f5373123d2c20d2986fdee20d821816ce07819aa

Edward Thomson 2021-12-24T15:17:52

push: don't try to connect in `finish` Push starts by connecting, don't try to connect again, just rely on the existing connection existing.