You can not select more than 25 topics
			Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
		
		
		
		
		
			
		
			
				
					
					
						
							39 lines
						
					
					
						
							676 B
						
					
					
				
			
		
		
	
	
							39 lines
						
					
					
						
							676 B
						
					
					
				#!/bin/bash
 | 
						|
set -ex
 | 
						|
 | 
						|
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null && pwd)"
 | 
						|
cd $DIR
 | 
						|
 | 
						|
# git clone --mirror
 | 
						|
SRC=/tmp/openpilot.git/
 | 
						|
OUT=/tmp/smallpilot/
 | 
						|
 | 
						|
echo "starting size $(du -hs .git/)"
 | 
						|
 | 
						|
rm -rf $OUT
 | 
						|
 | 
						|
cd $SRC
 | 
						|
git remote update
 | 
						|
 | 
						|
# copy contents
 | 
						|
#rsync -a --exclude='.git/' $DIR $OUT
 | 
						|
 | 
						|
cp -r $SRC $OUT
 | 
						|
 | 
						|
cd $OUT
 | 
						|
 | 
						|
# remove all tags
 | 
						|
git tag -l | xargs git tag -d
 | 
						|
 | 
						|
# remove non-master branches
 | 
						|
BRANCHES="release2 release3 devel master-ci nightly"
 | 
						|
for branch in $BRANCHES; do
 | 
						|
  git branch -D $branch
 | 
						|
  git branch -D ${branch}-staging || true
 | 
						|
done
 | 
						|
 | 
						|
#git gc
 | 
						|
git reflog expire --expire=now --all
 | 
						|
git gc --prune=now
 | 
						|
git gc --aggressive --prune=now
 | 
						|
echo "new one is $(du -hs .)"
 | 
						|
 |