build-scripts/list-pr-differences

   1 #!/bin/bash
   2
   3 set -euo pipefail
   4
   5 LOG_ARG=$1
   6
   7 git fetch origin refs/notes/*:refs/notes/*
   8
   9 NOTE_PRS=$(git log ${LOG_ARG} --show-notes=pull_request_number |
  10   grep -A1 pull_request_number |
  11   grep -vE '(pull_request_number|--)'|
  12   awk '{ print $1 }')
  13
  14 MERGED_PRS=$(git log ${LOG_ARG} |grep 'Merge pull request'|cut -d'#' -f2|cut -d\  -f1)
  15
  16 (for word in ${NOTE_PRS} ${MERGED_PRS}; do
  17   echo "$word"
  18 done) | sort -u