We should parse out the tags here (the bits in between [ and ]) using tags_from_title in github_tag_teams.py and allow [skip ci] at any place in the PR
|
print("pr title:", title) |
|
return title.startswith("[skip ci]") |
to avoid issues like in #11668 (review)
cc @Mousius @areusch
We should parse out the tags here (the bits in between
[and]) usingtags_from_titleingithub_tag_teams.pyand allow[skip ci]at any place in the PRtvm/tests/scripts/git_skip_ci.py
Lines 49 to 50 in dccc1c7
to avoid issues like in #11668 (review)
cc @Mousius @areusch