2 # Generate a .mrconfig containing all private repos
3 # adopted from https://github.com/svend/home-bin/blob/master/gen-mrconfig-priv
7 # ./gen-mrconfig.sh gitolite@admin.leap.se
15 echo "[$(basename $s)]"
16 echo "checkout = git clone ssh://$SSH/$s"
23 # gitolite outputs list with DOS line endings
25 # only pick lines with space at the beginning
28 # Last field contains the repo name
30 # filter out all special gitolite groups, i.e. @all
33 # All private repos are under svend-priv/
34 #grep -e '^svend-priv/' -e '^gitolite-admin$' |
36 # Delete last empty line