#!/usr/bin/env bash
# Merges a PR (Mode B autonomous merge into auto/driver-gaps).
# Usage: merge-pr.sh PR_NUM
set -euo pipefail
HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
. "$HERE/lib.sh"

PR="${1:?PR_NUM required}"
PAYLOAD='{"Do":"merge","delete_branch_after_merge":true}'
api_repo POST "pulls/$PR/merge" "$PAYLOAD" >/dev/null
echo "  PR #$PR merged into $INTEGRATION_BRANCH (branch deleted)"