gitignore: don't ignore core directory

otherwise src/core is ignored.

Merge request reports

Loading