Merge branch '4-no-git-ignore' into 'develop'

4-no-git-ignore

See merge request !2
1 job for 5-update-gitlab-ci-file-to-use-inherited-jobs-from-main
in 0 seconds, using 0 compute credits, and was queued for 0 seconds