diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2014-04-17 18:36:08 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2014-04-17 18:36:08 +0300 |
| commit | 1c8936c4d92b34c9c70ff8083e67d77c7fcfb439 (patch) | |
| tree | 366b04c046ab03a3ba552d08d4f88822a85e3f25 | |
| parent | 83cdb74c338a83be6fe47201ef3f49c828a72c32 (diff) | |
| download | gawk-1c8936c4d92b34c9c70ff8083e67d77c7fcfb439.tar.gz | |
Add more info to README.git and update date.
| -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.) |