devtools: ignore non merged tags for backport
[dpdk.git] / .gitattributes
2016-11-13 Thomas Monjalonimprove git diff