Merge branch 'fhg/update-check-format' into 'main'
[fix] check-format.sh script to also work with git See merge request !88
Loading
WARNING! Gitlab maintenance operation scheduled for Saturday, 27 September 2025, from 07:00 AM to 4:00 PM GMT (09:00 AM to 6:00 PM CEST)
[fix] check-format.sh script to also work with git See merge request !88