This would run git garbage collector and prune the
branches which has been deleted in upstream repo.
Signed-off-by: Khem Raj <raj.k...@gmail.com>
---
scripts/layerman | 1 +
1 file changed, 1 insertion(+)
diff --git a/scripts/layerman b/scripts/layerman
index 47c98a0..160868d 100755
--- a/scripts/layerman
+++ b/scripts/layerman
@@ -72,6 +72,7 @@ function update_layers() {
if [ "${REV}" = "HEAD" ] ; then
cd ${LAYERDIR} || exit 1
git stash >&/dev/null && git pull --rebase && git stash pop >&
/dev/null
+ git gc >& /dev/null && git remote prune origin >& /dev/null
else
cd ${LAYERDIR} || exit 1
CURRENTCOMMIT="$(git log --oneline --no-abbrev -1 | awk '{print
$1}')"
--
1.7.9.5
_______________________________________________
Angstrom-distro-devel mailing list
Angstrom-distro-devel@linuxtogo.org
http://lists.linuxtogo.org/cgi-bin/mailman/listinfo/angstrom-distro-devel
