2016-07-06 12:09, Bruce Richardson: > On Wed, Jul 06, 2016 at 12:38:50PM +0200, Thomas Monjalon wrote: > > From: Nelio Laranjeiro <nelio.laranjeiro at 6wind.com> > > +# check headline prefix when touching only drivers/, e.g. net/<driver name> > > +bad=$(for commit in $commits ; do > > + headline=$(git log --format='%s' -1 $commit) > > + files=$(git diff-tree --no-commit-id --name-only -r $commit) > > + [ -z "$(echo "$files" | grep -v '^drivers/')" ] || continue > > Given the preference for including documentation in with the code changes, > we should perhaps exclude any doc changes when making this check.
Yes we can exclude doc/ and config/. Thanks
