diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2014-07-12 23:20:39 -0700 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2014-07-12 23:20:39 -0700 |
| commit | de3372f0d98c7137823e7d5630d03429bb77d1f2 (patch) | |
| tree | 389fa3f5f107b3ca1178e6d7a65e66ff3644e29c /README.git | |
| parent | ebb6772e9eabeb81e3cc9305a6bec7adf7aad450 (diff) | |
| parent | df2eaea6a92c7d89d604d0a4e885d064678ce3ed (diff) | |
| download | egawk-de3372f0d98c7137823e7d5630d03429bb77d1f2.tar.gz egawk-de3372f0d98c7137823e7d5630d03429bb77d1f2.tar.bz2 egawk-de3372f0d98c7137823e7d5630d03429bb77d1f2.zip | |
Merge branch 'master' into comment
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.) |