From cf60493f8eec05d2018f12c86a14924591eb6c05 Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Sat, 6 Jun 2020 20:53:43 -0700
Subject: [PATCH] install-shellcheck: Upgrade ShellCheck to 0.7.1.

ShellCheck binary releases have moved to GitHub:

https://github.com/koalaman/shellcheck/issues/1871

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 tools/setup/install-shellcheck | 6 +++---
 version.py                     | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/tools/setup/install-shellcheck b/tools/setup/install-shellcheck
index 5fb6d2d8f1..e6e41252da 100755
--- a/tools/setup/install-shellcheck
+++ b/tools/setup/install-shellcheck
@@ -1,9 +1,9 @@
 #!/usr/bin/env bash
 set -eu
 
-version=0.7.0
+version=0.7.1
 tarball="shellcheck-v$version.linux.x86_64.tar.xz"
-sha256=39c501aaca6aae3f3c7fc125b3c3af779ddbe4e67e4ebdc44c2ae5cba76c847f
+sha256=64f17152d96d7ec261ad3086ed42d18232fcb65148b44571b564d688269d36c8
 
 check_version () {
     out="$(shellcheck --version 2>/dev/null)" && [[ "$out" = *"
@@ -15,7 +15,7 @@ if ! check_version; then
     tmpdir="$(mktemp -d)"
     trap 'rm -r "$tmpdir"' EXIT
     cd "$tmpdir"
-    wget -nv "https://storage.googleapis.com/shellcheck/$tarball"
+    wget -nv "https://github.com/koalaman/shellcheck/releases/download/v$version/$tarball"
     sha256sum -c <<< "$sha256 $tarball"
     tar -xJf "$tarball" --no-same-owner --strip-components=1 -C /usr/local/bin "shellcheck-v$version/shellcheck"
     check_version
diff --git a/version.py b/version.py
index 0e020220fe..c88f467185 100644
--- a/version.py
+++ b/version.py
@@ -44,4 +44,4 @@ API_FEATURE_LEVEL = 9
 #   historical commits sharing the same major version, in which case a
 #   minor version bump suffices.
 
-PROVISION_VERSION = '86.1'
+PROVISION_VERSION = '86.2'