gEDA-dev: repo.or.cz mirror

[Ales Hvezda]

Hi Peter,

> http://repo.or.cz/w/geda-gaf.git now mirrors the master git server.  

How often does this update the mirror?  Bandwidth on gpleda.org is
unfortunately not unlimited.  I'll monitor and make sure my bandwidth
isn't being gobbled up too much.

> 
> Ales, do you think it would be a good idea to list it as a mirror on 
> gpleda.org?

Sure, I've added the link.

-Ales