Second. I have not been able to connect to gnuradio.org for a whole day. Actually, it seems to me that the hosting server has quite a high outage. This happened many times in the past. Should we consider mirror it or at least the git somewhere else? say github?
On 19/08/2011, at 8:54 PM, Suleja, Lukasz wrote: > Hi, > > Is there a problem with gnuradio.org server? > I don’t appear to be able to git the gnuradio code; the uhd server works just > fine. > > Regards, > Lukasz > -- > > > Queen's Award for Enterprise and Innovation 2011 > > Roke Manor Research Ltd > Romsey, Hampshire, SO51 0ZN, United Kingdom > http://www.roke.co.uk > > Part of the Chemring Group > Registered in England & Wales at: > Chemring Group PLC, Chemring House, 1500 Parkway, > Whiteley, Fareham, Hampshire PO15 7AF, England. > Registered No: 267550 > > The information contained in this e-mail and any attachments is > proprietary to Roke Manor Research Ltd and must not be passed to any > third party without permission. This communication is for information > only and shall not create or change any contractual relationship. > > Please consider the environment before printing this email > > _______________________________________________ > Discuss-gnuradio mailing list > [email protected] > https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
_______________________________________________ Discuss-gnuradio mailing list [email protected] https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
