aboutsummaryrefslogtreecommitdiffstats
path: root/src/main.rs
diff options
context:
space:
mode:
authorTeddy Wing2022-06-04 18:14:08 +0200
committerTeddy Wing2022-06-04 18:14:08 +0200
commitb324a7a96acbaf589fedca245e9e5659ee9cd8fa (patch)
treeff65ad73853fd09be7992dcfc3d8fe5b5e70614f /src/main.rs
parent34c69bd00249d78e9277bb66c6c0bf7e5b4613a1 (diff)
downloadreflectub-b324a7a96acbaf589fedca245e9e5659ee9cd8fa.tar.bz2
database::Repo: From<&github::Repo>: Use newest update date
It turns out the GitHub `updated_at` field doesn't change when new commits are pushed to the repository, only when the repository config etc. changes. In order to update the mirrors when any update happens in the repository, we need to look at both of those date values to see if they've been updated. Take the most recent of `updated_at` or `pushed_at` and set it to `(database::Repo).updated_at`. This allows us to refresh the repo when either of those dates change, catching all GitHub repo updates.
Diffstat (limited to 'src/main.rs')
0 files changed, 0 insertions, 0 deletions