chiark / gitweb /
dgit: cleaning: Improve handling of note about ignores