ading comment to push_to_github.sh