It's a labor-intensive process to keep up with manually adding new repos to the local store, things get missed for months/years. This will require taking a github user name. It may also be nice to have a blacklist of public projects for the user we don't want to copy locally (because they're unchanged forks, for example).
It's a labor-intensive process to keep up with manually adding new repos to the local store, things get missed for months/years. This will require taking a github user name. It may also be nice to have a blacklist of public projects for the user we don't want to copy locally (because they're unchanged forks, for example).