changed all_repos to contain all repos

githubs api per default only shows around 30 repos per user/org