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? >
Attachment
Watch this ticket