Add --ignore-list to discover mode

repobee / repobee-sanitizer

A plugin for sanitizing master repositories before distribution to students

MIT License

2 stars 3 forks source link

Closed slarse closed 4 years ago

slarse commented 4 years ago

It should be possible to ignore certain files. This list should be on the same form as the old --file-list option.

slarse commented 4 years ago

We decided not to do this