for when the build server breaks without a pull request

git-solo

#!/bin/sh

repo="d3sw/falkor"

token=${GITHUB_TOKEN:?}
localref=${1:-HEAD}
remoteBranch=${2:-jacobstaging}

merge() {
  http \
    --check-status \
    --ignore-stdin \
    put \
    https://api.github.com/repos/"$repo"/pulls/"$pr_number"/merge \
    Accept:'application/vnd.github.v3+json' \
    Authorization:"bearer $token" \
    merge_method=merge
}

publishBranch() {
  git push -f origin "$localref":"refs/heads/$remoteBranch"
}

createPr() {
  http \
    --check-status \
    --ignore-stdin \
    post \
    https://api.github.com/repos/"$repo"/pulls \
    Accept:'application/vnd.github.v3+json' \
    Authorization:"bearer $token" \
    title="$remoteBranch" \
    head="$remoteBranch" \
    base=master \
    maintainer_can_modify:=true
}

deleteBranch() {
  git push --delete origin "$remoteBranch"
}

pr_number=$(publishBranch && createPr | jq --raw-output '.number')
merge && deleteBranch