I usually work on a remote server via ssh (screen and vim), where I have a Git repository. Sometimes I'm not online, so I have a separate repository (cloned from my remote) on my laptop.
However, I can't pull from this repository on remote side because I'm usually behind a firewall or I don't have a public IP.
I've read that I should push just to a bare repository. How should I then push my changes to my remote repository?
You can do:
$git config --bool core.bare true
this can be done in bare or central repository so that it will accept any files that are pushed from non bare repositories. If you do this in non bare repository then we cannot push any files from non bare to bare repository.
If you are practicing GIT by creating central and non bare repo in PC it might not show the pushed files in some PC's but it has been pushed. you can check it by running.
$git log in central repo.
Other than if you push to GitHub it will show the files there.
