Fix duplicated titles for github log groups being logged

[consideRatio]

Here we see that the github log grouping is getting a title, but then we also se another entry - we only need one so lets avoid printing two.