Script to update Git repositories

update-git-repos.sh

#!/bin/bash

# The update_git_repo function updates a local copy of a git repository by fetching/pruning all branches,
# changing to the develop branch, pulling from the remote develop branch and then switching back to the 
# original working branch. The first and only argument is the directory of the path to the git repository.
update_git_repo()
{
	if [ -d "$1" ]; then
  		cd $1
		export REPO_NAME=$(basename `git rev-parse --show-toplevel`)
		echo -n "Updating $REPO_NAME..."
		export WORKING_BRANCH=$(git name-rev --name-only HEAD)
		git checkout develop > /dev/null 2>&1
		git fetch -p > /dev/null 2>&1
		git pull > /dev/null 2>&1
		git checkout $WORKING_BRANCH > /dev/null 2>&1
		echo "complete!"
		cd ..
	else
		echo "Could not update $1 (directory not found)."
	fi
	
}

# Go to location of repos
cd $HOME/projects

# Update Git repos
echo ""
update-git-repo some-repo-name
update-git-repo some-other-repo-name
echo ""