Some inconsistencies in the CI let a merge request go through without stylechecking.
This will create a new commit in order to revert the existing changes.
