Generate a big diff from list of Pull Requests

generate_diff_prs.sh

#!/bin/bash
#
# Usage:
#
# Indicate the name of the output file with the flag: -f
# Indicate the list of Pull Requests with the flat: -p. The format is a quoted string sepparated by spaces.
#

while getopts p:f: option
do
case "${option}"
in
p) PRS=${OPTARG};;
f) FILE=${OPTARG};;
esac
done

for pr in $PRS;
do
echo "Getting diff from PR $pr"
curl -H "Authorization: token $GITHUB_TOKEN" -H "Accept: application/vnd.github.v3.diff" https://api.github.com/repos/gisce/erp/pulls/$pr >> $FILE; 
cat $FILE | grep "Binary files" && echo "Oju! Hi ha un fitxer binari!"
done

echo "Finish!"