[devops-stage_2-merge_v13.0] Running shell script + git checkout -f df75b7aed0e184455b9de743f82003a1a2513956 HEAD is now at df75b7a Update gen-repo.sh to fix download from artifactory