diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2014-04-17 18:36:48 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2014-04-17 18:36:48 +0300 |
| commit | db96948d6e6f8ccf9d035b3c468a2a60e3944f73 (patch) | |
| tree | 9f8219fea0d98e87a739bceaeb92b288101078f7 /README.git | |
| parent | eb03b1e1816d524fcc2b78f6bdf502f515eae54e (diff) | |
| parent | 1c8936c4d92b34c9c70ff8083e67d77c7fcfb439 (diff) | |
| download | egawk-db96948d6e6f8ccf9d035b3c468a2a60e3944f73.tar.gz egawk-db96948d6e6f8ccf9d035b3c468a2a60e3944f73.tar.bz2 egawk-db96948d6e6f8ccf9d035b3c468a2a60e3944f73.zip | |
Merge branch 'gawk-4.1-stable'
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 --prume + 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.) |