From 862eb3afcc86f85f8a163e6d726a503a130e57a0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Gilles?= <sebastien.gilles@inria.fr>
Date: Wed, 12 May 2021 13:02:20 +0200
Subject: [PATCH] #16 Add a file explaining how to use CI.

---
 CI.md     | 8 ++++++++
 README.md | 5 +++++
 2 files changed, 13 insertions(+)
 create mode 100644 CI.md

diff --git a/CI.md b/CI.md
new file mode 100644
index 0000000..b453529
--- /dev/null
+++ b/CI.md
@@ -0,0 +1,8 @@
+Currently CI is used to generate Docker images related to the training.
+
+These images are created through the Gitlab Web interface:
+
+- Go to CI/CD and choose Run Pipeline.
+- Fill a field _TAG_ and put the name of the tag to associate to the image.
+- Fill a field _UPDATE_LATEST_TAG_ if you want the _latest_ tag to be updated with the image being created here. This field is optional - if not filled the _latest_ tag won't be modified.
+
diff --git a/README.md b/README.md
index e0ac7b7..6071c5e 100644
--- a/README.md
+++ b/README.md
@@ -84,3 +84,8 @@ Then just type [http://localhost:8888/](http://localhost:8888/) in your browser.
 ### BinderHub
 
 A link to a BinderHub instance is given at the top of the project page; foresee few minutes to set up properly the notebooks.
+
+
+## For maintainers
+
+Informations related to CI are [here](CI.md).
\ No newline at end of file
-- 
GitLab