Pull PRs From Github

pull-prs-from-github.sh

#!/usr/bin/env bash


get-all() {
  if [[ -z $GITHUB_ACCESS_TOKEN ]]; then
    echo "ERROR: no GITHUB_ACCESS_TOKEN defined"
    exit 1
  fi

  pages=(1 2 3 4 5 6 7 8)
  for page in ${pages[*]}; do
    curl -H "Authorization: token $GITHUB_ACCESS_TOKEN" "https://api.github.com/repos/rms1000watt/serverless-tf/pulls?state=closed&page=$page" > "prs-page-$page.json"
    sleep 5
  done
}


join-all() {
  prFiles=""
  for file in prs-page-*.json; do
    prFiles+=" $file"
  done

  jq -s '.|flatten' $prFiles > prs-all.json
}


parse-all() {
  jq '.[].title' < prs-all.json
}


case "$1" in
  get-all)
    get-all;;
  join-all)
    join-all;;
  parse-all)
    parse-all;;
  *)
    echo "bad command" && exit 1;;
esac