Git deleted lines report per contributor

contributors_deleted_lines.sh

#!/bin/bash

# Verify is this is a git repo
if ! git rev-parse --git-dir > /dev/null 2>&1; then
    echo "Questo non è un repository Git."
    exit 1
fi

IFS=$'\n' # Change the line separator to avoid breaking lines on spaces

# Contributors list
contributors=$(git log --format='%aN' | sort -u)

for contributor in $contributors; do
    echo -n "$contributor: "
    git log --author="$contributor" --pretty=tformat: --numstat |
    awk '{deleted += $2} END {print deleted}'
done