Tickets :: [#11368] github mirror not updated automatically

6.0.0-beta1

7/5/25

Summary	github mirror not updated automatically
Queue	Horde.org Servers
Queue Version	Git
Type	Bug
State	Not A Bug
Priority	1. Low
Owners
Requester	thomas.jarosch (at) intra2net (dot) com
Created	08/21/2012 (4701 days ago)
Due
Updated	08/25/2012 (4697 days ago)
Assigned	08/21/2012 (4701 days ago)
Resolved	08/21/2012 (4701 days ago)
Github Issue Link
Github Pull Request
Milestone
Patch	No

08/25/2012 03:14:41 PM	Michael Rubinsky	Comment #7	Reply to this comment
Also mrubinsk didn't see his own commits in ~~#11346~~ and manually pushed them. For the record, the issue with my commit was a stale 'known_hosts' file in my home directory on dev.h.o.

08/21/2012 10:25:58 AM	Jan Schneider	Comment #6	Reply to this comment
[Show Quoted Text - 11 lines][Hide Quoted Text] How is the automatic "mirroring" done? With a push commit hook on git.horde.org. Could have been a delay on github, or one failed mirroring during Gunnar's push. Well, mms's commits weren't here, too. Also mrubinsk didn't see his own commits in ~~#11346~~ and manually pushed them. Is there a log file for the stuff done in the commit hook? No, and it's really not that important if it catches up at some point. The reference repository is the development server anyway.

08/21/2012 09:53:46 AM	Thomas Jarosch	Comment #5	Reply to this comment
How is the automatic "mirroring" done? With a push commit hook on git.horde.org. Could have been a delay on github, or one failed mirroring during Gunnar's push. Well, mms's commits weren't here, too. Also mrubinsk didn't see his own commits in ~~#11346~~ and manually pushed them. Is there a log file for the stuff done in the commit hook?

08/21/2012 09:48:09 AM	Jan Schneider	Comment #4 State ⇒ Not A Bug	Reply to this comment
How is the automatic "mirroring" done? With a push commit hook on git.horde.org. Could have been a delay on github, or one failed mirroring during Gunnar's push.

08/21/2012 09:20:04 AM	Thomas Jarosch	Comment #3	Reply to this comment
Looks fine. Again :) It was stuck at 362a557c0432b418d2e108be1d23e1219159682a two hours ago. I just notice this when some of my reported bugs are fixed and the changes don't appear on github for hours/days. F.e. Gunnar wrote me he fixed something on Sunday and it wasn't on github this morning. Now it is (9d4e2807d9956f494eaef4d809afc065612edcea). How is the automatic "mirroring" done?

08/21/2012 08:55:42 AM	Jan Schneider	Comment #2 State ⇒ Feedback	Reply to this comment
Looks fine.

08/21/2012 07:50:52 AM	Thomas Jarosch	Comment #1 Priority ⇒ 1. Low Type ⇒ Bug Summary ⇒ github mirror not updated automatically Queue ⇒ Horde.org Servers Milestone ⇒ Patch ⇒ No State ⇒ Unconfirmed	Reply to this comment
Hi, I've just noticed the github mirror is not updated automatically. Currently it's several days behind. First noticed in ~~#11346~~ Cheers, Thomas