Create BigRedButton script to cancel all the worflows with a given name about clickhouse HOT 2 OPEN

#!/usr/bin/env python

from typing import List

from github.WorkflowRun import WorkflowRun

from env_helper import GITHUB_REPOSITORY
from get_robot_token import get_best_robot_token
from github_helper import GitHub

gh = GitHub(get_best_robot_token(), per_page=100)

repo = gh.get_repo(GITHUB_REPOSITORY)

names = ["MasterCI", "PullRequestCI"]
states_to_kill = ["queued", "in_progress", "pending", "waiting"]

wfs = list(repo.get_workflows())
filtered_wfs = [wf for wf in wfs if wf.state == "active" and wf.name in names]
runs = []  # type: List[WorkflowRun]

for state in states_to_kill:
    for wf in filtered_wfs:
        runs.extend(wf.get_runs(status=state))

for run in runs:
    print(f"Run {run.cancel_url}")
    run.cancel()