update_git.bash

#!/usr/bin/env bash

# Returns true if git needs to be updated; false otherwise
function update_git() {
	pushd "$1"
	
    git remote update
	if [ $(git rev-parse HEAD) = $(git ls-remote $(git rev-parse --abbrev-ref @{u} | \
	sed 's/\// /g') | cut -f1) ]; then
	    res=0;
	else 
		res=1;
	fi
	
	if [ "$res" = 1 ]; then
		git reset --hard HEAD
        git clean -f -d
	fi
	
	popd

	return "$res"
}