fix an issue with release process

Signed-off-by: DONNOT Benjamin <[email protected]>

Author: BDonnot

grid2op/data_test/runner_data/res_agent_1.12.0/00/grid2op.info

@@ -1,3 +1,3 @@
 {
-    "version": "1.11.0"
+    "version": "1.12.0"
 }

grid2op/data_test/runner_data/res_agent_1.12.0/01/grid2op.info

@@ -1,3 +1,3 @@
 {
-    "version": "1.11.0"
+    "version": "1.12.0"
 }

utils/make_release.py

@@ -207,6 +207,8 @@ def modify_and_push_docker(version,  # grid2op version
         sys.exit(0)
     else:
         print("Add the proper test in \"grid2op/tests/test_Runner.py\"")
+        print("Modify the grid2op.info files in the Runer generated data ")
+        print("\t /data_test/runner_data/res_agent_x.y.z/{0,1}/grid2op.info \n")
         print("Then commit your change with :")
         print(f"git commit -s -S -m \"ready for version {version}\"")
         print("Then open a PR on Grid2Op/grid2op.git")