No matches were found for subject:"\[git\-users\] Remove\/merge all history before pushing to a public repo for the first time\?"