Using a remote repository with non-standard port

Question

I am setting up my local git project for a remote repository. The remote repository is being served on a non-standard port (4019).

But it doesn\'t work. Instead I ge

Answer 1

If you put something like this in your .ssh/config:

Host githost
HostName git.host.de
Port 4019
User root

then you should be able to use the basic syntax:

git push githost:/var/cache/git/project.git master