reviewninja/review.ninja — pull request #557 by fabianschwarzfritz (2014-11-19 22:35:46+00:00)
Title: Distinguish repo list and search bar

Implements the changes proposed in #536