tree 4894f3007198d61fff3a6864c54af30791a0aae4
parent bdb3727524777d1b54ead74fa7a743bb1ab58dc4
author Luca Milanesio <luca.milanesio@gmail.com> 1379288232 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1381500527 +0000

[GERRITHUB-4] Filter and page size for repositories.

Allows to filter across all the repositories available
on GitHub and configure the maximum number of entries
displayed on the page.

Change-Id: Ibdffd8eff1a19a07e76e7cc741936e7487e023db