Repositories

Fixed a bug in reading reviews where we would not discount commented-upon commits that had been garbage collected, and as a result the tool would exit due to a git command failing unexpectedly

<ckerur>
ckerur commented on 2015-11-21 01:23:24 with status 👍