currently addition of new GitHub repos is ad-hoc/manual, we should automate the catch up process (and make it spawn both fork and non-fork repositories)
Description
Description
currently addition of new GitHub repos is ad-hoc/manual, we should automate the catch up process (and make it spawn both fork and non-fork repositories)