@ancient-stone-50795: for posterity, doing https://help.github.com/articles/creating-an-access-token-for-command-line-use/ and putting the token and username in netrc for github.com worked for site publishing