get github push working v6.12