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

[bugs at horde.org]

DO NOT REPLY TO THIS MESSAGE. THIS EMAIL ADDRESS IS NOT MONITORED.

Ticket URL: http://bugs.horde.org/ticket/11368
------------------------------------------------------------------------------
  Ticket             | 11368
  Updated By         | Jan Schneider <jan at horde.org>
  Summary            | github mirror not updated automatically
  Queue              | Horde.org Servers
  Version            | Git
  Type               | Bug
  State              | Not A Bug
  Priority           | 1. Low
  Milestone          |
  Patch              |
  Owners             |
------------------------------------------------------------------------------


Jan Schneider <jan at horde.org> (2012-08-21 12:25) wrote:

>>> 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.