Re: check.sh setup.sh, nohup.out

[Ihor Radchenko]

Matt <matt@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>