On Monday 05 October 2009, Øyvind Harboe wrote: > > Lacking that, we might want a git mirror at a site which > > does have easier HTTP access. > > Like > > http://repo.or.cz/m/regproj.cgi > > ?
Looks like it; yes. Will you set that up? IMO having a public mirror is a Good Thing in any case. That one seems to have a nice "give me a snapshot of that version as a tarball" feature, too. > You can also clone/pull a repository to a usb stick from outside > a firewall. Also known as the "support your local independent coffee shops!" solution. Time to clone/pull is a LOT less than the time it takes to drink the coffee, note! ;) - Dave _______________________________________________ Openocd-development mailing list [email protected] https://lists.berlios.de/mailman/listinfo/openocd-development
