diff options
| -rwxr-xr-x | .gitcheck | 17 | 
1 files changed, 17 insertions, 0 deletions
| @@ -48,6 +48,23 @@ set_git_credentials()  clean()  { +	unset_placeholders + +	if [ ! -d coreboot ]; then +		return +	fi +	for x in coreboot/*; do +		if [ ! -d "${x}" ]; then +			continue +		fi +		cd "${x}" +		unset_placeholders +		cd - +	done +} + +unset_placeholders() +{  	if [ "$(git config user.name)" = "${git_name}" ]; then  		git config --unset user.name  	fi | 
