github repos are queried by pushed date, not updated date