Update new gudhi version procedure for docker image

DerbelHedi · Apr 17, 2023 · d25a9b5 · d25a9b5
1 parent 861a079
commit d25a9b5
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/.github/for_maintainers/new_gudhi_version_creation.md b/.github/for_maintainers/new_gudhi_version_creation.md
@@ -132,9 +132,16 @@ ARG GUDHI_VERSION="3.X.X"
 ...
 ```
 
-After pushing the changes the docker image build will be automatically performed for
+After pushing the changes in gudhi-deploy repo main branch, the docker image needs to be built and pushed at
 [latest_gudhi_version](https://hub.docker.com/repository/docker/gudhi/latest_gudhi_version)
-docker image on docker hub.
+docker image on docker hub:
+
+```bash
+docker build -t gudhi/latest_gudhi_version:3.X.X -f Dockerfile_for_gudhi_installation .
+docker tag gudhi/latest_gudhi_version:3.X.X gudhi/latest_gudhi_version:latest
+docker login
+docker push gudhi/latest_gudhi_version:3.X.X gudhi/latest_gudhi_version:latest
+```
 
 ***[Check there are no error]***