I must say I never had trouble pushing from the board, and also I don't understand exactly what the problem mentioned in the post is. Also, that is fairly old and maybe refers to some older distribution?
However, I rarely use https
at all, as instead I use the ssh
forwarding agent, which forwards my ssh
keys to the board while I am logged into it, so that, as long as the remote for the repo is of the typegit@github.com:...
, I don't need any credentials. Another trick I use when I don't have the board connected to the internet, is to have a copy on the repo on the host computer and, from within the repo folder on the host:
git pull root@192.168.7.2:path/to/repo/
git push origin master