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...