Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
contribute:dev:git:tips-and-tricks [2014/03/05 15:35] – created nick | contribute:dev:git:tips-and-tricks [2021/04/30 09:21] (current) – ochosi | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== GIT Tips & Tricks ====== | ====== GIT Tips & Tricks ====== | ||
- | ===== 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 < | ||
- | < | + | ===== Shortcut URL's ===== |
- | [url " | + | |
- | pushInsteadOf = "git://git.xfce.org" | + | |
+ | < | ||
+ | git config --global | ||
+ | </file> | ||
+ | |||
+ | After this, you'll be able to do, for example: | ||
+ | |||
+ | <file bash> | ||
+ | git clone xfce: | ||
</ | </ |