From: Angus Gratton <angus@espressif.com>
Date: Wed, 5 Sep 2018 10:07:24 +0000 (+0800)
Subject: Merge branch 'bugfix/ci_github_deploy' into 'master'
X-Git-Tag: v3.2-beta1~218
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b1380707e455eb196d2b7437ae4a74ceccb07c3e;p=esp-idf

Merge branch 'bugfix/ci_github_deploy' into 'master'

ci: Fix spurious pipeline failure when deploying a tag to GitHub

See merge request idf/esp-idf!3021
---

b1380707e455eb196d2b7437ae4a74ceccb07c3e