Workaround for Heroku scheduler

Heroku does not allow for scripts to modify the filesystem. Hence,
refresh_repos would not work (and it would be costly to run it through
the scheduler).

Instead, we push the repos folder directly to avoid the need of having a
cron job clone repos.