only "git push" the repos that get gc'd every day or so

just rsync the rest

diff --git a/to_ozlabs b/to_ozlabs
index 5666c9f33b27c1b41cabd09e20289a67d161e35d..9c8dd42b6989571180c19c9e5711641f18d13733 100755 (executable)
--- a/to_ozlabs
+++ b/to_ozlabs
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-GIT_REPOS='next next-history.git quilt next-fixes tools etc mmotm'
+GIT_REPOS='next  next-fixes'
 
 NEXT_DIR="$HOME/kernels/next"