How should users push from their dev environments when those probably don't have an SSH key/agent? And similar for git fetch of private repos. Right now I run my git push from outside the dev environment.
It doesn't look like GitHub supports fine-grained access control for SSH keys (at least for personal accounts).
How should users push from their dev environments when those probably don't have an SSH key/agent? And similar for
git fetch
of private repos. Right now I run mygit push
from outside the dev environment.It doesn't look like GitHub supports fine-grained access control for SSH keys (at least for personal accounts).
Git has
core.gitProxy
andcore.sshCommand
(see https://git-scm.com/docs/git-config), which could probably be used with a local proxy.