devtools: ignore non merged tags for backport
authorThomas Monjalon <thomas@monjalon.net>
Mon, 31 Jul 2017 12:07:38 +0000 (14:07 +0200)
committerThomas Monjalon <thomas@monjalon.net>
Thu, 3 Aug 2017 09:57:14 +0000 (11:57 +0200)
commit26857dabb3c91031beb2faab6237969951341a30
tree8707c60a2cff4292fe6b279881b9d0727636e0b4
parentf4709b40940395b29521d6e5e36b58c516a74b29
devtools: ignore non merged tags for backport

When checking if a buggy commit was introduced in an old version,
the script compares last tag containing the bug and current version.
The non merged tags from non related branches must be ignored.

Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
devtools/git-log-fixes.sh