Merge pull request #378 from charlestang/master

2 tricks about git: git pull --rebase and git clone --depth
2015-12-25 13:41:01 +02:00 · 2015-12-25 13:41:01 +02:00 · 1f36ca63bc
parent 70bd3f9a4e 3142f57a61
commit 1f36ca63bc
2 changed files with 8 additions and 0 deletions
--- a/pages/common/git-clone.md
+++ b/pages/common/git-clone.md
@ -13,3 +13,7 @@
 - Do it quietly

 `git clone -q`
+
+- Clone an existing repository, and truncate to the specified number of revisions, save your time mostly
+
+`git clone --depth 10 {{REMOTE-REPOSITORY-LOCATION}}`
--- a/pages/common/git-pull.md
+++ b/pages/common/git-pull.md
@ -6,6 +6,10 @@

 `git pull`

+- Download changes from default remote repository and use fast forward
+
+`git pull --rebase`
+
 - Download changes from given remote repository and branch, then merge them into HEAD

 `git pull {{remote_name}} {{branch}}`