This gist covers how to prune large files from a git repo when moving from gitlab to github. It's also helpful for times when someone commits a large .war .iso or other file to the repo.

prune_large_file.sh

# Example specifies *.war.  
#
# It would work for *.log for developers who git -A . when they shouldn't and upload the contents of /var/log/*
# Just change the --ignore-unmatch parameter.
#
git filter-branch \
         --prune-empty \
         -d ../scratch   \
         --index-filter "git rm --cached -f --ignore-unmatch *.war"  \
         --tag-name-filter cat -- --all