@edsu I added: git push -q origin gh-pages; – so I didn’t get the warning from git about push.default since I’ve never set that.