Update push_to_github.sh