#! /bin/sh

version=10.2

URL_BASE_PR="https://github.com/sagemath/sage/pull/"
URL_BASE_COMPARE="https://github.com/sagemath/sage/compare/${version}..."

case "$1" in
	-n)  DO=echo ;;
esac

# get_pr <PR number> <description> [ext]
get_pr() {
	pr=$1
	desc=$(echo "$2" | sed -e 's/ /_/g')
	ext=${3-diff}
	$DO wget "$URL_BASE_PR$pr.$ext" -O "$pr-$desc.patch"
}

# run from patches dir
cd $(dirname "$0")

# needs review
get_pr  35848   "flintlib 3.0"
get_pr  36769   "fix jmol detect"
