Git tips and tricks

Using a remote repository with a non-standard port

Based on this tip, create or add the following to your ~/.ssh/config file:

Host githost
HostName example.com
Port 7654
User felix

Then the normal git syntax should work, e.g.

git push origin dev