add push-github.sh