Little script for cleaning up all my git repositories

clean-all-repositories.sh

#!/bin/bash

# Little script for cleaning up all my git repositories (i.e. ones I am responsible
# for) in my workspace dir and pushing them back to gihub or to my own server.

pushd ~/workspace
for dir in * 
do 
	if [ -d ${dir} ] 
	then 
		pushd ${dir}
		if [ -d .git ] 
		then 
			git remote get-url origin | grep '[email protected]:simon-brooke' > /dev/null 
			if [ $? -eq 0 ]
			then 
				git gc --aggressive; 
				git push
			fi
			git remote get-url origin | grep '[email protected]' > /dev/null
			if [ $? -eq 0 ]
			then 
				git gc --aggressive; 
				git push
			fi
		fi
		popd
	fi
done
popd