git push ssh://user@server/~/PhD) and getting the latest version from it (
git pull ssh://user@server/~/PhD). However, I found that it isn't so easy to edit files on my server. Directory doesn't change after pushing it from remote repository. My first work around was on the server first committing changes - it means reverting files to state before pushing, and latter reverting to previous version -it means last version committed from remote machine. Does it sound complicated? Yes! So I was trying find the other way. Today I found it. On remote machine I do:
git add filename(if needed)
git commit -a
git push ssh://user@server/~/PhDLater on server:
git reset --hard HEADAnd now I has the same files at server and any remote machines. Nice. And I need only ssh to do it.