Closed smoors closed 1 month ago
we need this to let 2 bots on 2 different clusters (with different required submit options) listen on the same target branch.
this is actually not needed, the det_submit_opts() function can dispatch depending on the cluster it is in.
det_submit_opts()
we need this to let 2 bots on 2 different clusters (with different required submit options) listen on the same target branch.