No matches were found for subject:"\[git\-users\] git fails to follow history after delete and add\+moved"