diff options
| author | Andrew J. Schorr <aschorr@telemetry-investments.com> | 2014-09-21 15:49:47 -0400 |
|---|---|---|
| committer | Andrew J. Schorr <aschorr@telemetry-investments.com> | 2014-09-21 15:49:47 -0400 |
| commit | b4d06df669e1eaf6c98cacb5c5f299bb5324e804 (patch) | |
| tree | 50fb039c2cf280921e7650230cb42b0669e17f0b /README.git | |
| parent | 94e3f93395de538d73826e128281a3ea9591a5a9 (diff) | |
| parent | 8b4e8f702df30b2b2238158504de5d8eb436958d (diff) | |
| download | egawk-b4d06df669e1eaf6c98cacb5c5f299bb5324e804.tar.gz egawk-b4d06df669e1eaf6c98cacb5c5f299bb5324e804.tar.bz2 egawk-b4d06df669e1eaf6c98cacb5c5f299bb5324e804.zip | |
Merge 'master' into select
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.) |