Fixes #2783.
:thumbsup:
Metadata Update from @tkopecek: - Pull-request tagged with: testing-ready
#2785 has already been merged, so I guess this can be closed?
No, I've just closed mine without merging as I've noticed yours.
Anyway, I was thinking about just float conversion. We can miss some updates (very hypothetically). If I've 123 timestamp for koji's repo and and external repo is 123.45 it will be ignored.
float
I added the round in case anything else depended on the timestamp being an int, although it didn't look like it would be an issue. Anyway, float(child.text) should be fine.
round
int
float(child.text)
Metadata Update from @mfilip: - Pull-request tagged with: testing-done
Commit d8c46e85 fixes this pull-request
Pull-Request has been merged by tkopecek
Fixes #2783.