30 lines
598 B
Bash
Executable File
30 lines
598 B
Bash
Executable File
#! /bin/sh
|
|
|
|
version=10.1
|
|
|
|
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")
|
|
|
|
# merged in 10.2.beta0
|
|
#get_pr 36018 "singular 4.3.2p4" # included in #35934
|
|
get_pr 36046 "fix memory leak"
|
|
|
|
# positive review
|
|
get_pr 35934 "singular 4.3.2p7"
|
|
get_pr 36006 "gmp 6.3.0"
|