maybe fix deleted release tags (#9891)

* maybe fix deleted release tags Hard to know for sure until the next broken release. CHANGELOG_BEGIN CHANGELOG_END * Update azure-pipelines.yml Co-authored-by: Moritz Kiefer <moritz.kiefer@purelyfunctional.org> Co-authored-by: Moritz Kiefer <moritz.kiefer@purelyfunctional.org>
digital-asset · Jun 2, 2021 · df0f3ff · df0f3ff
1 parent 4b020dd
commit df0f3ff
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
@@ -194,6 +194,9 @@ jobs:
       set -euo pipefail
       eval "$(./dev-env/bin/dade-assist)"
 
+      ## refresh tags, in case someone deleted one
+      git fetch --prune --prune-tags
+
       source $(bash_lib)
 
       DELAY=1