the git push problem

[ongardie]

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).

Git has core.gitProxy and core.sshCommand (see https://git-scm.com/docs/git-config), which could probably be used with a local proxy.

[ongardie]

https://github.blog/2022-10-18-introducing-fine-grained-personal-access-tokens-for-github/ might help