From 8564e3c9ff59fd9815c8a77aa7e87fa552f8ac42 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 26 Oct 2018 13:38:20 +0200
Subject: Revert "[ci] Pin CI_REF to plugin_tutorial to use not yet merged
 commit."

This reverts commit df69c44af03f2587b3f1706a805d0e2728c1f1dc.

Should be merged before any PR with plugin tutorial overlays, or we
can just merge the vendor PR instead.
---
 dev/ci/ci-basic-overlay.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index f422030b53..50d4d21637 100755
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -238,7 +238,7 @@
 ########################################################################
 # plugin_tutorial
 ########################################################################
-: "${plugin_tutorial_CI_REF:=14b2976cdf67db788b79d9421ce1e89bd15c7313}"
+: "${plugin_tutorial_CI_REF:=master}"
 : "${plugin_tutorial_CI_GITURL:=https://github.com/ybertot/plugin_tutorials}"
 : "${plugin_tutorial_CI_ARCHIVEURL:=${plugin_tutorial_CI_GITURL}/archive}"
 
-- 
cgit v1.2.3