Skip to content
This repository was archived by the owner on Sep 17, 2026. It is now read-only.

Ignore pids directory - #127

Merged
jasonrclark merged 1 commit into
mainfrom
jasonrclark/ignore-pids-dir
Aug 20, 2025
Merged

jasonrclark merged 1 commit into
mainfrom
jasonrclark/ignore-pids-dir

Conversation

@jasonrclark

Copy link
Copy Markdown
Member

Copilot AI review requested due to automatic review settings August 20, 2025 22:03

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot wasn't able to review any files in this pull request.


Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

@jasonrclark
jasonrclark merged commit 6b29308 into main Aug 20, 2025
2 checks passed
@jasonrclark
jasonrclark deleted the jasonrclark/ignore-pids-dir branch August 20, 2025 23:01
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants