Hmm, interestingly gitproxy can be specified multiple times. See git help config for more details on how to make it per URI instead of per repository, which is probably even more useful.
--~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "GitHub" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/github?hl=en -~----------~----~----~----~------~----~------~--~---
