github/android — pull request #109 by kevinsawicki (2012-07-11 21:57:49+00:00)
Title: Support filtering the repositories page list

### Empty filter

![](http://img.skitch.com/20120711-8jrhwfmhdn68k6994dqq7r5xq2.png)

### Filtered view

![](http://img.skitch.com/20120711-qfc59sm44xdsuihpx1puq5qi3k.png)

@mattgraham what do you think?