On Tue, 19 Mar 2024 21:41:05 +0100 Ihor Radchenko wrote ---
> Matt m...@excalamus.com> writes:
>
> > Should I do as before and use 'git revert'? Or, do we want to remove them
> > completely from the history?
>
> Yes, git revert.
Reverted
Matt 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
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.
Should I do as
Some unusual files sneaked in with commit 37cd00bb120.
Bill
--
William Denton
https://www.miskatonic.org/
Librarian, artist and licensed private investigator.
Toronto, Canada