Build of Pike dist failed to push release tag
Observed during an automated build:
$ /usr/local/bin/pike /home/dist/tmp/build/pike/bin/export.pike --srcdir="/home/dist/tmp/build/pike.srcbuild/../pike/src" --exportlist="/home/dist/tmp/build/pike.srcbuild/../pike/src/export_list" --name=Pike-v%maj.%min.%bld --tag
Bumping release number.
Bumping release number.
Git command "git push origin refs/tags/v8.0.1660:refs/tags/v8.0.1660" failed.
ssh_exchange_identification: Connection closed by remote host
fatal: The remote end hung up unexpectedly
make[1]: *** [full_export] Error 128
This seems to have been due to an intermittent network issue.