one more tweak. stop setting GitHub up as default push target.