[dev] github (was: [horde] YQL and horde)

[Chuck Hagenbuch]

Quoting Gunnar Wrobel <p at rdus.de>:

> Quoting Chuck Hagenbuch <chuck at horde.org>:
>
>> Quoting roman stachura <roman at stachura.ch>:
>>
>>> But anyway, why is horde not on github?
>>
>> We've been historically attached to hosting things ourselves. It  
>> might be worth rethinking that; thanks for the poke in that  
>> direction (cc:ed dev@ on this point). As an interim, do you know if  
>> there's a way for github to mirror another repository, if we wanted  
>> to push everything on git.horde.org to github as well?
>
> That should be easy by adding a mirrored remote and pushing to it  
> via cron (see  
> http://support.github.com/discussions/repos/684-how-to-create-repository-in-mirror-mode).

Done. I'd expect http://github.com/horde/horde to be the canonical  
public repository going forward...

-chuck