From 2916c975d7d45e290277ce7a02187ab39bbfb911 Mon Sep 17 00:00:00 2001
From: Till Schneidereit <till@tillschneidereit.net>
Date: Tue, 6 Aug 2019 22:16:26 +0200
Subject: [PATCH] Delete old GitHub 'dev' release when creating a new one

---
 .azure-pipelines.yml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/.azure-pipelines.yml b/.azure-pipelines.yml
index 68fa3e753c8e..db636201d328 100644
--- a/.azure-pipelines.yml
+++ b/.azure-pipelines.yml
@@ -231,7 +231,6 @@ jobs:
     inputs:
       gitHubConnection: 'tschneidereit-releases'
       repositoryName: 'cranestation/wasmtime'
-      action: 'edit'
       target: '$(Build.SourceVersion)'
       tagSource: 'manual'
       tag: '$(tagName)'
@@ -244,7 +243,13 @@ jobs:
     inputs:
       gitHubConnection: 'tschneidereit-releases'
       repositoryName: 'cranestation/wasmtime'
-      action: 'edit'
+      action: 'delete'
+      tag: 'dev'
+    condition: eq(variables['Build.SourceBranch'], 'refs/heads/master')
+  - task: GitHubRelease@0
+    inputs:
+      gitHubConnection: 'tschneidereit-releases'
+      repositoryName: 'cranestation/wasmtime'
       target: '$(Build.SourceVersion)'
       tag: 'dev'
       title: 'Latest CI build'