I pushed check-in to the main
server using HTTPS in a build of that same version.  So whatever the problem
was, it seems to be resolved now.