Fix for github API changes (repos from orgs can no longer (maybe never
could?) be sorted by push date)