From 1c8936c4d92b34c9c70ff8083e67d77c7fcfb439 Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Thu, 17 Apr 2014 18:36:08 +0300 Subject: Add more info to README.git and update date. --- README.git | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) (limited to 'README.git') diff --git a/README.git b/README.git index 7d0d260c..b5794048 100644 --- a/README.git +++ b/README.git @@ -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.) -- cgit v1.2.3 From 3cdb8b8cf57d6ccfd215d0170c2b616340719d86 Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Sun, 20 Apr 2014 11:23:56 +0300 Subject: Fix a typo in README.git. --- README.git | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.git') diff --git a/README.git b/README.git index b5794048..c947cc24 100644 --- a/README.git +++ b/README.git @@ -355,7 +355,7 @@ Otherwise, use `git merge'. remote repo? Either - git fetch --prume + git fetch --prune or git remote prune origin -- cgit v1.2.3