chore: sync .gitignore with other repos #13

Merged

David merged 1 commit from chore/sync-gitignore into main 2026-05-13 00:21:26 +02:00

Conversation 0 Commits 1 Files changed 1 +7 -6

David commented 2026-05-13 00:18:43 +02:00

Owner

Copy link

No description provided.

David added 1 commit 2026-05-13 00:18:43 +02:00

chore: sync .gitignore with other repos 7ab9141a9f

David merged commit 16f020a028 into main 2026-05-13 00:21:26 +02:00

David deleted branch chore/sync-gitignore 2026-05-13 00:21:26 +02:00

David referenced this pull request from a commit 2026-05-13 00:21:28 +02:00

Merge pull request 'chore: sync .gitignore with other repos' (#13) from chore/sync-gitignore into main

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

psa-systems/vervain-server!13

No description provided.