.gitignore: generalize to build*, so that we can have build2 for develop2

Merge request reports

Loading