Skip to content

Improve repository setup - #3

Merged
tnotheis merged 2 commits into
mainfrom
improve-repository-setup
Aug 5, 2026
Merged

Improve repository setup#3
tnotheis merged 2 commits into
mainfrom
improve-repository-setup

Conversation

@tnotheis

@tnotheis tnotheis commented Aug 5, 2026

Copy link
Copy Markdown
Member

Readiness checklist

  • I ensured that the PR title is good enough for the changelog.
  • I labeled the PR.
  • I added tests (if necessary).
  • I self-reviewed the PR.

@tnotheis tnotheis added the chore Some routine work like updating dependencies label Aug 5, 2026 — with ChatGPT Codex Connector
@tnotheis tnotheis self-assigned this Aug 5, 2026
@tnotheis tnotheis changed the title chore: improve repository setup Improve repository setup Aug 5, 2026
@tnotheis
tnotheis marked this pull request as ready for review August 5, 2026 10:59
@tnotheis
tnotheis merged commit 8ed7b56 into main Aug 5, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@tnotheis tnotheis

Labels

chore Some routine work like updating dependencies

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@tnotheis