diff --git a/2016-11-17-gitlab/README.md b/2016-11-17-gitlab/README.md index c75abdbc456bcaf69f14131b47b44a196125e515..e883dea999ddc22d16c543f1500a38166fd9c3e4 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>