diff options
| author | Juergen Kahrs <Juergen.Kahrs@googlemail.com> | 2014-06-24 13:18:33 +0200 |
|---|---|---|
| committer | Juergen Kahrs <Juergen.Kahrs@googlemail.com> | 2014-06-24 13:18:33 +0200 |
| commit | f1245d04a9f076773c60499b468f44ed9c91b59b (patch) | |
| tree | 2b49234400150bfaac7ebf8c017562300edc7471 /README.git | |
| parent | ee9707cc44eea3ca64cb71666ac3e8ed26a3bb7f (diff) | |
| parent | 78ded8ee8f11a321c96417e7d02dac2f5723a221 (diff) | |
| download | egawk-f1245d04a9f076773c60499b468f44ed9c91b59b.tar.gz egawk-f1245d04a9f076773c60499b468f44ed9c91b59b.tar.bz2 egawk-f1245d04a9f076773c60499b468f44ed9c91b59b.zip | |
Merge remote-tracking branch 'origin/master' into cmake
Diffstat (limited to 'README.git')
| -rw-r--r-- | README.git | 15 |
1 files changed, 14 insertions, 1 deletions
@@ -1,4 +1,4 @@ -Sat Dec 1 21:53:02 IST 2012 +Thu Apr 17 16:54:26 IDT 2014 ============================ If you are reading this, you have retrieved the gawk code base via @@ -350,3 +350,16 @@ has been pushed up to the Savannah repo or not. If your branch is completely local to your machine, use `git rebase'. Otherwise, use `git merge'. + +- How do I remove branches in my local repo that are no longer in the + remote repo? + + Either + git fetch --prune + or + git remote prune origin + + These remove the remote branches (i.e., origin/something) + that no longer exist on the remote. + + (Thanks to Stepan Kasal for this answer.) |