From 6a14113957edbccfd15ff537bf7592b0c1f60e72 Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Thu, 19 Mar 2020 06:01:51 +0000
Subject: [PATCH] pulumi: Update to version 1.13.0

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

diff --git a/bucket/pulumi.json b/bucket/pulumi.json
index 4218da74ef..a9a061fde4 100644
--- a/bucket/pulumi.json
+++ b/bucket/pulumi.json
@@ -1,12 +1,12 @@
 {
-    "version": "1.12.1",
+    "version": "1.13.0",
     "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-v1.12.1-windows-x64.zip",
-            "hash": "7e838f4ce2fc794b80f72a4a2dca549b88464a353c40e54fc274becfdea36bf0"
+            "url": "https://get.pulumi.com/releases/sdk/pulumi-v1.13.0-windows-x64.zip",
+            "hash": "79cd54631ee69848e2881fcd69944bbc3b58715f65f3a0516a0c3b2da8b5d69f"
         }
     },
     "extract_dir": "Pulumi\\bin",