CI: check whether .gitignore is up-to-date

Merge request reports

Loading