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


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

Hi,

I've just noticed the github mirror is not updated automatically.
Currently it's several days behind.

First noticed in #11346

Cheers,
Thomas