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 type
email@example.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 firstname.lastname@example.org:path/to/repo/
git push origin master