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: *** [full_export] Error 128
This seems to have been due to an intermittent network issue.