Merge branch 'codeit4i' into 'master'

Update 2 files

See merge request !485

docs.it4i/general/tools/codeit4i.md

+# Code.it4i.cz
+
+[code.it4i.cz][1] is a GitLab server maintained by IT4Innovations.
+It is available for all IT4I users and can be accessed via LDAP login credentials.
+
+It offers various tools including:
+
+## Project Management
+
+Collaborate with teammates using built-in code review tools.
+Control, track, and manage different versions of your project.
+Manage access and permission rights for different roles within your project.
+Report, track, and manage bugs and feature requests within your projects.
+Maintain project-specific documentation directly within GitLab.
+
+For more detailed information see the [GitLab documentation][2].
+
+## Continuous Integration / Continuous Deployment
+
+Automatically execute compilation scripts and test cases
+and distribute new versions of your code.
+See the [CI/CD section][a] for more information.
+
+## IT4I Documentation
+
+Participate on improving and expanding our documentation to help other users.
+
+[1]: https://code.it4i.cz/
+[2]: https://docs.gitlab.com/
+
+[a]: cicd.md

mkdocs.yml

@@ -113,6 +113,7 @@ nav:
         - HyperQueue: general/hyperqueue.md
 #      - Parallel Computing and MPI: general/karolina-mpi.md
     - Tools:
+        - CodeIT4I: general/codeit4i.md
         - CI/CD: general/tools/cicd.md
         - Data Sharing Tools: general/tools/tools-list.md
         - IT4I Portal Client: general/tools/portal-clients.md