#5247 freeipa pagure repo does not sync anymore to github
Closed: Fixed by pingou. Opened by frenaud.

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

Output from the push (2021-11-17T21:10:17.155647):
  stdout: 
  stderr: Everything up-to-date

but we have commits after this date, for instance

commit 15da3a8ea595e6e82444dd2bc697d35ec2c49ba0 (HEAD -> master, origin/master, origin/HEAD)
AuthorDate: Wed Nov 17 17:29:45 2021 -0300
CommitDate: Thu Nov 18 20:04:36 2021 -0300

@pingou could you have a look? You already helped us in the past by restarting a service (I don't have the details unfortunately). Thanks

[15:19] flo, _flo: can you file this in fedora-infrastructure instead?
[15:20] they have the power to restart the services on pagure.io
[15:20] <_flo> Eighth_Doctor: ok, sure. You mean here: https://pagure.io/fedora-infrastructure/issues ?
[15:21] yes
[15:25] <_flo> Eighth_Doctor: done, https://pagure.io/fedora-infrastructure/issue/10354. Thanks for your help
[15:25] no problem

The service has been restarted.
I really thought it was being monitored but I guess it's still missing :(

Metadata Update from @pingou:
- Issue close_status updated to: Fixed
- Issue status updated to: Closed (was: Open)

Metadata