devops: bump BUILD_NUMBERs to 1000

This way build numbers will be easier to distinguish in logs and documentation.
2019-11-22 20:32:21 -08:00 · 2019-11-22 20:32:21 -08:00 · 81f219cf2b
--- a/browser_patches/firefox/BUILD_NUMBER
+++ b/browser_patches/firefox/BUILD_NUMBER
@ -1 +1 @@
-2
+1000
--- a/browser_patches/tools/check_cdn.sh
+++ b/browser_patches/tools/check_cdn.sh
@ -68,4 +68,7 @@ while (( REVISION > 0 )); do
  done;
  echo
  REVISION=$((REVISION - 1 ))
+  if [[ $REVISION == "999" ]]; then
+    REVISION=2
+  fi
 done;
--- a/browser_patches/webkit/BUILD_NUMBER
+++ b/browser_patches/webkit/BUILD_NUMBER
@ -1 +1 @@
-2
+1000