Matt <m...@excalamus.com> writes: > ---- On Tue, 19 Mar 2024 18:11:50 +0100 William Denton wrote --- > > Some unusual files sneaked in with commit 37cd00bb120. > > Thank you, good catch. My bad. The files are garbage that existed in my > repo when I did 'git add .'. They should not have been added to the commit.
magit really helps to see what is being comitted. > Should I do as before and use 'git revert'? Or, do we want to remove them > completely from the history? Yes, git revert. > I would be happy to correct my mistake. However, I'm heading to bed now and > unsure if I'll be able to work on this tomorrow or Thursday. These files are harmless, so we are not really in rush. -- Ihor Radchenko // yantar92, Org mode contributor, Learn more about Org mode at <https://orgmode.org/>. Support Org development at <https://liberapay.com/org-mode>, or support my work at <https://liberapay.com/yantar92>
