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

* Your Email Address
* Spam protection	Enter the letters below: .__ . ..___. . __ [__)\| \|[__ \ // ` [__)\|/\\|\| \/ \__.
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? >> > > No, and it's really not that important if it catches up at some > point. The reference repository is the development server anyway.
Attachment
Watch this ticket