diff --git a/.gitcheck b/.gitcheck index a13eb0ae..f5db1f20 100755 --- a/.gitcheck +++ b/.gitcheck @@ -47,6 +47,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