Add HTTPS to publish_github

Second try!  This one should work...