26 lines
482 B
Bash
Executable File
26 lines
482 B
Bash
Executable File
#! /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"
|