git filter-branch --commit-filter '
    if echo $GIT_AUTHOR_NAME | grep -F -f /tmp/list >/dev/null;
	then
		git commit-tree "$@";
	else
		skip_commit "$@";
	fi' HEAD