From 492eefdf45cc82886ee5daf754efc2f84359ff60 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Brunner?= <stephane.brunner@camptocamp.com>
Date: Mon, 26 Nov 2018 12:33:50 +0100
Subject: [PATCH] Do the rename

---
 travis/{publish-docker => publish} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename travis/{publish-docker => publish} (100%)

diff --git a/travis/publish-docker b/travis/publish
similarity index 100%
rename from travis/publish-docker
rename to travis/publish