get github push working v6.15