Merge pull request #14 from gilles-peskine-arm/check-missing-changelog

Script to find pull requests without a changelog entry

Author: yanesca

tools/bin/mbedtls-check-missing-changelog

@@ -0,0 +1,34 @@
+#!/bin/bash
+set -e
+
+help () {
+  cat <<EOF
+Usage: $0 REVISION_RANGE
+Find Mbed TLS pull requests in the specified range of revisions that seem
+to be missing a changelog entry.
+
+This script uses heuristics:
+* Pull requests are merge commits on the first-parent-path in the specified
+  revision range.
+* Pull requests that modify ChangeLog or ChangeLog.d in any way are assumed
+  to be ok.
+EOF
+}
+
+if [[ $# -ne 1 ]]; then
+  help >&2
+  exit 120
+fi
+if [[ "$1" == '--help' ]]; then
+  help
+  exit
+fi
+
+revision_range=$1
+merge_commits=$(git log --merges --first-parent --format=%H $revision_range)
+for c in $merge_commits; do
+  if git diff --name-only $c~1 $c | grep -q ChangeLog; then
+    continue
+  fi
+  git show -s --oneline $c | grep .
+done