ghmerge: Add support for technical policies

Reviewed-by: Richard Levitte <levitte@openssl.org>
Reviewed-by: Tomas Mraz <tomas@openssl.org>
(Merged from https://github.com/openssl/tools/pull/171)

diff --git a/review-tools/ghmerge b/review-tools/ghmerge
index 128bdb73d57ca37ffaf9194f4797bf8f0ba325a9..dce2fcc77ee86216cfd3a8acd97dd49d8de98627 100755 (executable)
--- a/review-tools/ghmerge
+++ b/review-tools/ghmerge
@@ -61,6 +61,9 @@ while [ $# -ne 0 ]; do
     --web)
         WHAT=web ; BUILD=no ; shift
         ;;
+    --technical-policies)
+        WHAT=technical-policies ; BUILD=no ; shift
+        ;;
     --fuzz-corpora)
         WHAT=fuzz-corpora ; BUILD=no ; shift
         ;;