[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         | Thomas Jarosch <thomas.jarosch at intra2net.com>
  Summary            | github mirror not updated automatically
  Queue              | Horde.org Servers
  Version            | Git
  Type               | Bug
  State              | Feedback
  Priority           | 1. Low
  Milestone          |
  Patch              |
  Owners             |
------------------------------------------------------------------------------


Thomas Jarosch <thomas.jarosch at intra2net.com> (2012-08-21 09:20) wrote:

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