marcie
9fd1baab68
usage_error contract (stderr + exit 2), strict option-like value guards, missing -n checks; pr-list usage() default exit 2. Four suites enrolled (population 93). Closes the viewer gap from the #1464 census: carriers now 20 of the 22; remaining non-carriers are the deliberate design-first class (ci-queue-wait, pr-merge, pr-ci-wait, mosaic-worktree).
123 lines
4.2 KiB
Bash
Executable File
123 lines
4.2 KiB
Bash
Executable File
#!/bin/bash
|
|
# pr-diff.sh - Get the diff for a pull request on GitHub or Gitea
|
|
# Usage: pr-diff.sh -n <pr_number> [-r owner/repo] [-o <output_file>]
|
|
|
|
set -e
|
|
|
|
SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
|
|
source "$SCRIPT_DIR/detect-platform.sh"
|
|
|
|
# Parse arguments
|
|
PR_NUMBER=""
|
|
OUTPUT_FILE=""
|
|
REPO_OVERRIDE=""
|
|
HOST_OVERRIDE=""
|
|
|
|
# Usage-error contract (R4): usage errors print to STDERR and exit 2,
|
|
# distinct from provider, credential, and verification failures (exit 1).
|
|
usage_error() {
|
|
echo "Error: $*" >&2
|
|
echo "Usage: pr-diff.sh -n <pr_number> [-r owner/repo] [--host host] [-o <output_file>] (see --help)" >&2
|
|
exit 2
|
|
}
|
|
|
|
while [[ $# -gt 0 ]]; do
|
|
case $1 in
|
|
-n|--number)
|
|
[[ $# -ge 2 && "$2" != - && "$2" != --* && ! "$2" =~ ^-[[:alnum:]] ]] || usage_error "option $1 requires a value (option-like values are rejected; bare - is reserved)"
|
|
PR_NUMBER="$2"
|
|
shift 2
|
|
;;
|
|
-o|--output)
|
|
[[ $# -ge 2 && "$2" != - && "$2" != --* && ! "$2" =~ ^-[[:alnum:]] ]] || usage_error "option $1 requires a value (option-like values are rejected; bare - is reserved)"
|
|
OUTPUT_FILE="$2"
|
|
shift 2
|
|
;;
|
|
-r|--repo)
|
|
[[ $# -ge 2 && "$2" != - && "$2" != --* && ! "$2" =~ ^-[[:alnum:]] ]] || usage_error "option $1 requires a value (option-like values are rejected; bare - is reserved)"
|
|
REPO_OVERRIDE="$2"
|
|
shift 2
|
|
;;
|
|
--host)
|
|
[[ $# -ge 2 && "$2" != - && "$2" != --* && ! "$2" =~ ^-[[:alnum:]] ]] || usage_error "option $1 requires a value (option-like values are rejected; bare - is reserved)"
|
|
HOST_OVERRIDE="$2"
|
|
shift 2
|
|
;;
|
|
-h|--help)
|
|
echo "Usage: pr-diff.sh -n <pr_number> [-r owner/repo] [--host host] [-o <output_file>]"
|
|
echo ""
|
|
echo "Options:"
|
|
echo " -n, --number PR number (required)"
|
|
echo " -r, --repo Repository slug (default: infer from git origin)"
|
|
echo " --host Gitea host for --repo API calls (or set GITEA_HOST/GITEA_URL)"
|
|
echo " -o, --output Output file (optional, prints to stdout if omitted)"
|
|
echo " -h, --help Show this help"
|
|
echo ""
|
|
echo "Exit codes: 0 success; 2 usage error (stderr); 1 provider/credential failure."
|
|
exit 0
|
|
;;
|
|
*)
|
|
usage_error "unknown option: $1"
|
|
;;
|
|
esac
|
|
done
|
|
|
|
if [[ -z "$PR_NUMBER" ]]; then
|
|
usage_error "PR number is required (-n/--number)"
|
|
fi
|
|
|
|
if [[ -n "$REPO_OVERRIDE" ]]; then
|
|
REPO_INFO="$REPO_OVERRIDE"
|
|
PLATFORM=$(detect_platform 2>/dev/null || echo gitea)
|
|
else
|
|
detect_platform > /dev/null
|
|
REPO_INFO=$(get_repo_info)
|
|
fi
|
|
|
|
if [[ -z "$REPO_INFO" || "$REPO_INFO" == error:* ]]; then
|
|
echo "Error: Could not determine repository from git origin. Run from a repo or pass --repo." >&2
|
|
exit 1
|
|
fi
|
|
|
|
if [[ "$PLATFORM" == "github" ]]; then
|
|
if [[ -n "$OUTPUT_FILE" ]]; then
|
|
gh pr diff "$PR_NUMBER" --repo "$REPO_INFO" > "$OUTPUT_FILE"
|
|
else
|
|
gh pr diff "$PR_NUMBER" --repo "$REPO_INFO"
|
|
fi
|
|
elif [[ "$PLATFORM" == "gitea" ]]; then
|
|
# tea doesn't have a direct diff command — use the API
|
|
if [[ -n "$HOST_OVERRIDE" ]]; then
|
|
HOST="$HOST_OVERRIDE"
|
|
elif [[ -n "$REPO_OVERRIDE" ]]; then
|
|
HOST=$(get_gitea_api_host_for_repo_override) || {
|
|
echo "Error: Gitea host is required with --repo. Pass --host or set GITEA_HOST/GITEA_URL." >&2
|
|
exit 1
|
|
}
|
|
else
|
|
HOST=$(get_remote_host) || {
|
|
echo "Error: Could not determine Gitea host from git origin." >&2
|
|
exit 1
|
|
}
|
|
fi
|
|
|
|
DIFF_URL="https://${HOST}/api/v1/repos/${REPO_INFO}/pulls/${PR_NUMBER}.diff"
|
|
|
|
GITEA_API_TOKEN=$(get_gitea_token "$HOST" || true)
|
|
|
|
if [[ -n "$GITEA_API_TOKEN" ]]; then
|
|
DIFF_CONTENT=$(curl -sS -H "User-Agent: curl/8" -H "Authorization: token $GITEA_API_TOKEN" "$DIFF_URL")
|
|
else
|
|
DIFF_CONTENT=$(curl -sS -H "User-Agent: curl/8" "$DIFF_URL")
|
|
fi
|
|
|
|
if [[ -n "$OUTPUT_FILE" ]]; then
|
|
echo "$DIFF_CONTENT" > "$OUTPUT_FILE"
|
|
else
|
|
echo "$DIFF_CONTENT"
|
|
fi
|
|
else
|
|
echo "Error: Unknown platform" >&2
|
|
exit 1
|
|
fi
|