diff options
| author | Teddy Wing | 2021-05-30 01:19:14 +0200 |
|---|---|---|
| committer | Teddy Wing | 2021-05-30 01:19:14 +0200 |
| commit | 37cbbc279736f10224ec36356eb2b7620b028081 (patch) | |
| tree | 2f9bab187b855d1cb055cb655826512121bff4b7 /src/git.rs | |
| parent | 98cc67ceb69eea34e61ca08e51cd89a4bb483d66 (diff) | |
| download | reflectub-37cbbc279736f10224ec36356eb2b7620b028081.tar.bz2 | |
database: Change `GithubRepo` arguments to `Repo`
Also change `repo_insert()` to take only a single repo instead of a
slice of them.
Diffstat (limited to 'src/git.rs')
0 files changed, 0 insertions, 0 deletions