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();

}