Feature Request: add support for proxy remotes #3
Description
Context regarding the request
We use this in case we go to a field experiment and we expect that Internet will be inaccessible in that place. Before we go, we pull all repos on a central server we take with us and other computers should temporarily use this remote instead of github/gitlab.
This task cannot be easily done by setting a HTTP proxy, as git pulls are over HTTPS or SSH and we can’t (unfortunately) fake github’s host keys.
Alternatively, instead of this quite nonstandard feature, ripvcs could just support specifying the name of a remote used for pull/sync. We could then manually add the temporary remote using git remote add and just tell ripvcs to pull from this one.