From bdc3912614aeb15edb82e8342092d50c33a1087e Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Thu, 23 Jul 2020 10:00:31 +0000
Subject: [PATCH] pulumi: Update to version 2.7.1

---
 bucket/pulumi.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bucket/pulumi.json b/bucket/pulumi.json
index 8236409a96..632053dba5 100644
--- a/bucket/pulumi.json
+++ b/bucket/pulumi.json
@@ -1,12 +1,12 @@
 {
-    "version": "2.7.0",
+    "version": "2.7.1",
     "description": "Create, deploy, and manage infrastructure on any cloud using any language.",
     "homepage": "https://www.pulumi.com",
     "license": "Apache-2.0",
     "architecture": {
         "64bit": {
-            "url": "https://get.pulumi.com/releases/sdk/pulumi-v2.7.0-windows-x64.zip",
-            "hash": "c5e5d7b920af40bd45b3438354beba5cfd0134532c4b4b4163d0fcd19b87500b"
+            "url": "https://get.pulumi.com/releases/sdk/pulumi-v2.7.1-windows-x64.zip",
+            "hash": "db64bc3ef5fd40641a8e80d43137bbe2da5fb9c69510e6f0c6c48d7f61d4026b"
         }
     },
     "extract_dir": "Pulumi\\bin",