Skip to content

Conversation

@bugdea1er
Copy link
Owner

Added file type check to open_file, required for using copyfile in #194

@bugdea1er bugdea1er changed the title Check that open_file opens a regular file Check that open_file opens a regular file May 1, 2025
@bugdea1er bugdea1er requested a review from Copilot May 1, 2025 10:15

This comment was marked as outdated.

@bugdea1er bugdea1er requested a review from Copilot May 1, 2025 10:22

This comment was marked as outdated.

@bugdea1er bugdea1er requested a review from Copilot May 1, 2025 10:28

This comment was marked as outdated.

Repository owner deleted a comment from Copilot AI May 1, 2025
Repository owner deleted a comment from Copilot AI May 1, 2025
@bugdea1er bugdea1er merged commit 4afaae6 into main May 1, 2025
@bugdea1er bugdea1er deleted the open-file branch May 1, 2025 10:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants