25/04/2017 12:18, Gaetan Rivet: > Signed-off-by: Gaetan Rivet <gaetan.ri...@6wind.com> > --- > devtools/check-git-log.sh | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh > index 8449d4f..f081ff5 100755 > --- a/devtools/check-git-log.sh > +++ b/devtools/check-git-log.sh > @@ -132,6 +132,7 @@ bad=$(echo "$headlines" | grep -E --color=always \ > -e ':.*\<numa\>' \ > -e ':.*\<pci\>' \ > -e ':.*\<pmd\>' \ > + -e ':.*\<rmv\>' \ > -e ':.*\<rss\>' \ > -e ':.*\<tso\>' \ > -e ':.*\<[Vv]lan\>' \
rmv is not an acronym. I think there is no need to enforce uppercases.
