diff options
| author | Teddy Wing | 2021-05-30 15:02:37 +0200 |
|---|---|---|
| committer | Teddy Wing | 2021-05-30 15:02:37 +0200 |
| commit | 80a1cda7f857dbb2e776253225446351228072fb (patch) | |
| tree | 2c56b8cd5ad14c13327bd4027df007078c763341 /src/github.rs | |
| parent | bb57eb9167740b8b14b87aafae3898a2517d0909 (diff) | |
| download | reflectub-80a1cda7f857dbb2e776253225446351228072fb.tar.bz2 | |
main: Mirror new repositories
If we haven't encountered a repository yet, mirror it to the filesystem.
Change `From<github::Repo>` to `From<&github::Repo>` so we don't consume
the repo and can use it later in the repo list loop.
Diffstat (limited to 'src/github.rs')
0 files changed, 0 insertions, 0 deletions