Closed bertsky closed 6 years ago
Thanks, merged. For the future: could you create named branches for your pull requests? git co -b <branch-name>; git push <youy-remote> <branch-name>
and pull request for <branch-name>
? It makes it easier to check out the code locally.
Yes, of course. Sorry for being lazy about that.
addressing the problem of correct line level confidence calculation, cf. this insight