tags 52420 + patch thanks Eli Zaretskii writes: > I think we should modify admin.el to use "git mv" and commit that > (after prompting), instead of calling rename-file etc. that it does > today. IOW, there should be no need to do the above manually. How does the attached patch look?