Mon, 06 Apr 2026 01:32:18 +0000 https://bugs.horde.org/ticket/11368 github mirror not updated automatically Hi, I've just noticed the github mirror is not updated automatically. Currently it's several days behind. First noticed in #11346 Cheers, Thomas Tue, 21 Aug 2012 07:50:52 +0000 https://bugs.horde.org/ticket/11368#t72301 Looks fine. Tue, 21 Aug 2012 08:55:42 +0000 https://bugs.horde.org/ticket/11368#t72304 > 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? Tue, 21 Aug 2012 09:20:04 +0000 https://bugs.horde.org/ticket/11368#t72306 > 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. Tue, 21 Aug 2012 09:48:09 +0000 https://bugs.horde.org/ticket/11368#t72307 >> 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? Tue, 21 Aug 2012 09:53:46 +0000 https://bugs.horde.org/ticket/11368#t72309 >>> 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. Tue, 21 Aug 2012 10:25:58 +0000 https://bugs.horde.org/ticket/11368#t72310 >> 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. Sat, 25 Aug 2012 15:14:41 +0000 https://bugs.horde.org/ticket/11368#t72382