Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
contribute:dev:git:tips-and-tricks [2014/03/05 15:55] – [Different local username] nick | contribute:dev:git:tips-and-tricks [2020/04/19 01:17] – [Pull over git:// push with ssh://] ochosi | ||
---|---|---|---|
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 < | ||
- | |||
- | <file bash> | ||
- | git config --global url." | ||
- | </ | ||
===== Shortcut URL's ===== | ===== Shortcut URL's ===== |