Searched full:comment_on_pr (Results 1 – 3 of 3) sorted by relevance
54 python3 .github/scripts/comment_on_pr.py "${PR_NUM}" "merge"88 python3 .github/scripts/comment_on_pr.py "${PR_NUM}" "merge"
55 python3 .github/scripts/comment_on_pr.py "${PR_NUM}" "rebase"
64 python3 .github/scripts/comment_on_pr.py "${PR_NUM}" "revert"