Add fuzz-corpora to review-tools

Reviewed-by: Paul Dale <pauli@openssl.org>
Reviewed-by: Richard Levitte <levitte@openssl.org>
(Merged from https://github.com/openssl/tools/pull/143)

review-tools/addrev

@@ -36,6 +36,8 @@ foreach (@ARGV) {
         $args .= "--web ";
     } elsif (/^--tools$/) {
         $args .= "--tools ";
+    } elsif (/^--fuzz-corpora$/) {
+        $args .= "--fuzz-corpora ";
     } elsif (/^--verbose$/) {
         $args .= "--verbose ";
     } elsif (/^--noself$/) {

review-tools/ghmerge

@@ -10,6 +10,7 @@ Option style arguments:
 --help              Print this help and exit
 --tools             Merge a tools PR (rather than openssl PR)
 --web               Merge a web PR (rather than openssl PR)
+--fuzz-corpora      Merge a PR against fuzz-corpora (rather than openssl PR)
 --remote <remote>   Repo to merge with (rather than git.openssl.org), usually 'upstream'
 --target <branch>   Merge target (rather than current branch), usually 'master'
 --ref <branch>      A synonym for --target
@@ -60,6 +61,9 @@ while [ $# -ne 0 ]; do
     --web)
         WHAT=web ; BUILD=no ; shift
         ;;
+    --fuzz-corpora)
+        WHAT=fuzz-corpora ; BUILD=no ; shift
+        ;;
     --cherry-pick)
         shift;
         PICK=1;

review-tools/gitaddrev

@@ -140,6 +140,12 @@ foreach (@ARGV) {
         # openssl/tools is governed by OTC
         $min_otc = 2;
         $min_omc = 0;
+    } elsif (/--fuzz-corpora$/) {
+        $WHAT = 'fuzz-corpora';
+        $min_authors = 1;
+        # openssl/fuzz-corpora is governed by OTC
+        $min_otc = 1;
+        $min_omc = 0;
     } elsif (/^--release$/) {
         $release = 1;
     }