File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -84,9 +84,9 @@ if [[ $comment_body == "shipit" || $comment_body == ":shipit:" || $comment_body
8484 needs_ci)
8585 already_needs_ci=true
8686 ;;
87- # needs_ci${alt_python_version})
88- # already_needs_ci_alt=true
89- # ;;
87+ needs_ci${alt_python_version} )
88+ already_needs_ci_alt=true
89+ ;;
9090 * )
9191 echo " Unknown label $label "
9292 ;;
@@ -95,9 +95,9 @@ if [[ $comment_body == "shipit" || $comment_body == ":shipit:" || $comment_body
9595 if [[ " $already_verified " == false && " $already_needs_ci " == false ]]; then
9696 add_label " needs_ci"
9797 fi
98- # if [[ "$already_verified_alt" == false && "$already_needs_ci_alt" == false ]]; then
99- # add_label "needs_ci${alt_python_version}"
100- # fi
98+ if [[ " $already_verified_alt " == false && " $already_needs_ci_alt " == false ]]; then
99+ add_label " needs_ci${alt_python_version} "
100+ fi
101101 if [[ " $already_shipit " == false ]]; then
102102 add_label " shipit"
103103 fi
You can’t perform that action at this time.
0 commit comments