timrulebosch

#!/bin/bash
set -e

# Parse input parameters.
if [ "$#" -ne 2 ]; then
    echo "Usage: $0 <PR Number> <PR Title>"
    exit 1
fi
PR_ID="$1"
PR_TITLE="$2"