Skip to content

chore: add .gitignore for public/ + lock refactor - #5

Merged
5o1 merged 3 commits into
mainfrom
chore/gitignore-and-lock
Jul 8, 2026
Merged

chore: add .gitignore for public/ + lock refactor#5
5o1 merged 3 commits into
mainfrom
chore/gitignore-and-lock

Conversation

@5o1

@5o1 5o1 commented Jul 8, 2026

Copy link
Copy Markdown
Owner

3 commits: add root public/ to .gitignore, merge from main, lock PID file single-instance guarantee.

Copilot AI review requested due to automatic review settings July 8, 2026 14:41

Copilot AI left a comment

Copy link
Copy Markdown

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.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@5o1
5o1 merged commit 680d212 into main Jul 8, 2026
4 checks passed
@5o1
5o1 deleted the chore/gitignore-and-lock branch July 8, 2026 14:42
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