Subject: Unexpected behavior in redoing target with missing .redo info

From: goredo <[email-masked]>
Date: Fri, 5 Dec 2025 20:26:22 +0100 (GMT+01:00)

Yes, that is a bug.

You can observe the correct behaviour when you change `1.do` to `default.do`, which is:
- after deleting `.redo/` `redo 1` prints nothing anymore, because it treats the file as a source file. You can verify by setting REDO_DEBUG=1.

Best regards,
–Michael