grobidOrg / grobid / 25454341169 / 2

39%

master: 39%

push

github

Fix git revision (#1433)

Before we were fetching the last tag from the parents, so a tag made on a separate branch was not visible, we change that so that the last tag coming from any commit will be taken in consideration. This is necessary because the releases are made with merge commit.

---------

Signed-off-by: Luca Foppiano <luca@foppiano.org>

8218 of 23871 branches covered (34.43%)

Branch coverage included in aggregate %.

17629 of 43601 relevant lines covered (40.43%)

1.63 hits per line