Edits history of script submission #1593 for ' Check if a pull request has been merged (github)'

• nativets

  Ap­pro­ved version

  Edit in Windmill

  Embed

  type Github = {
    token: string;
  };
  /**
   * Check if a pull request has been merged
   *
   */
  export async function main(
    auth: Github,
    owner: string,
    repo: string,
    pull_number: string
  ) {
    const url = new URL(
      `https://api.github.com/repos/${owner}/${repo}/pulls/${pull_number}/merge`
    );
  
    const response = await fetch(url, {
      method: "GET",
      headers: {
        Authorization: "Bearer " + auth.token,
      },
      body: undefined,
    });
    if (!response.ok) {
      const text = await response.text();
      throw new Error(`${response.status} ${text}`);
    }
    return await response.text();
  }
  

  Submitted by hugo697 363 days ago