diff options
author | Teddy Wing | 2022-06-04 18:14:08 +0200 |
---|---|---|
committer | Teddy Wing | 2022-06-04 18:14:08 +0200 |
commit | b324a7a96acbaf589fedca245e9e5659ee9cd8fa (patch) | |
tree | ff65ad73853fd09be7992dcfc3d8fe5b5e70614f /doc | |
parent | 34c69bd00249d78e9277bb66c6c0bf7e5b4613a1 (diff) | |
download | reflectub-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 'doc')
0 files changed, 0 insertions, 0 deletions