Code

receive-pack: check connectivity before concluding "git push"