Add this to your .bashrc to permanently remove a file from git repo and history

gitremove.sh

gitremove(){
	echo "Enter file to remove"
	read FILE
	git filter-branch --force --index-filter 'git rm --cached --ignore-unmatch $FILE' --prune-
empty --tag-name-filter cat -- --all
	
	git push origin master -f
}