15/09/2017 11:24, NĂ©lio Laranjeiro: > On Tue, Sep 05, 2017 at 12:05:32AM +0200, Thomas Monjalon wrote: > > The script git-log-fixes.sh (used in check-git-log.sh) looks > > for git tags to find the version where a bug is introduced. > > > > In DPDK 17.08, the script has been fixed to ignore tags from > > non current branch. > > It was using the option --merged which was introduced in git 2.7.0. > > > > As git 2.7.0 is not so old, a fallback is provided for some years. > > > > The fallback is replacing the tag --merged option by a branch filter. > > If the tag is found in the branch, the branch name is replaced > > by the tag. > > > > This script could be improved to allow using another reference branch, > > instead of hard coding HEAD branch (the current one). > > > > Fixes: 26857dabb3c9 ("devtools: ignore non merged tags for backport") > > Cc: sta...@dpdk.org > > > > Signed-off-by: Thomas Monjalon <tho...@monjalon.net> > Tested-by: Nelio Laranjeiro <nelio.laranje...@6wind.com> > > Solves the issue.
Applied