]> granicus.if.org Git - esp-idf/commit
Merge branch 'bugfix/ci_push_master_to_github_err' into 'master'
authorIvan Grokhotkov <ivan@espressif.com>
Wed, 5 Jul 2017 02:41:24 +0000 (10:41 +0800)
committerIvan Grokhotkov <ivan@espressif.com>
Wed, 5 Jul 2017 02:41:24 +0000 (10:41 +0800)
commit3c9ea3cb8efec28d362b09fff4ccba5e456dad4a
treebd9baa8e8d4d2984d77e912f3c6dbd1d63da1b2a
parentabdbb4292a08ac38244030df5fb59fcd2c2ca4b4
parent19cd330117a1db354c2e0a73c8bf6ea857cf54de
Merge branch 'bugfix/ci_push_master_to_github_err' into 'master'

Fix error in the push_master_to_github job when using the fetch strategy

See merge request !951