by mistake I deleted files that I actually just wanted to move to another directory. I have also committed and pushed this changed, so that these files are regarded as deleted. Is there a way to move these files to a directory afterwards and make them to be seen as "moved"?
This would help to keep the git history clean.
Thanks in advance.