Learn more about these different git repos.
Other Git URLs
freeipa pagure repo https://pagure.io/freeipa is configured with mirroring to https://github.com/freeipa/freeipa but the latest commits were not synchronized.
Log of the last sync available at https://pagure.io/freeipa/settings#hooks-tab mentions July 6:
Output from the push (2021-07-06T16:13:59.057049): stdout: stderr: Everything up-to-date
but we have commits after this date, for instance https://pagure.io/freeipa/c/a7c8517826b789941f5c769c626393cacdc5bb1e?branch=master
Metadata Update from @ngompa: - Issue assigned to pingou - Issue tagged with: pagure.io
I see the commit on GitHub though? https://github.com/freeipa/freeipa/commit/a7c8517826b789941f5c769c626393cacdc5bb1e
EDIT: Ahh, but it's not associated with a branch for some reason...
@pingou restarted a service and mirroring is now back to a working state. Thanks for the quick response.
Metadata Update from @frenaud: - Issue close_status updated to: Fixed - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.