get github push working v6.11