Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
contribute:dev:git:tips-and-tricks [2014/03/05 15:55] nick [Different local username] |
contribute:dev:git:tips-and-tricks [2020/04/19 01:17] (current) ochosi [Pull over git:// push with ssh://] |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| - | ===== Pull over git:// push with ssh:// ===== | ||
| - | |||
| - | You can switch to a different protocol or location for the push command. Advantage is that you can clone a repository using <nowiki>git://git.xfce.org/...</nowiki> which is faster than a ssh connection (no login, permission check and encryption), but push to ssh. | ||
| - | |||
| - | <file bash> | ||
| - | git config --global url."ssh://git@git.xfce.org".pushInsteadOf "git://git.xfce.org" | ||
| - | </file> | ||
| ===== Shortcut URL's ===== | ===== Shortcut URL's ===== | ||