From 36ff50f89ca5eb7105bc7d476adeeeae3b0f9481 Mon Sep 17 00:00:00 2001
From: Thierry Martinez <martinez@nsup.org>
Date: Tue, 15 Nov 2016 12:18:15 +0100
Subject: [PATCH] Add notes for continuous integration

---
 2016-11-17-gitlab/README.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/2016-11-17-gitlab/README.md b/2016-11-17-gitlab/README.md
index c75abdb..e883dea 100644
--- a/2016-11-17-gitlab/README.md
+++ b/2016-11-17-gitlab/README.md
@@ -37,3 +37,8 @@ Transfer project Namespace
 ## Protected branches
 ## Rewrite history
 ## Continuous integration
+Check Poll SCM and put in Schedule
+# Leave empty. We don't poll periodically, but need
+# polling enabled to let HTTP trigger work
+In Gitlab project settings, Webhooks, put
+http://ci.inria.fr/<name of the project>/git/notifyCommit?url=<git repo URL>
-- 
GitLab