+ if git diff HEAD | grep .; then
+ # we have uncommitted changes
+ a=
+ while [ x"$a" != x"y" -a x"$a" != x"n" ]; do
+ echo "Uncommitted changes in \"$r\" in \"$d\". Commit?"
+ read -r a
+ done
+ if [ x"$a" = x"y" ]; then
+ verbose git commit -a
+ fi
+ fi