tryton/ci — pull request #2 by hiaselhans (2014-07-06 21:32:56+00:00)
Title: changed all_repos to contain all repos

githubs api per default only shows around 30 repos per user/org
i came across this today myself and this is an easy fix...