Skip to content

Improve repository setup - #22

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

Improve repository setup#22
tnotheis merged 4 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 marked this pull request as ready for review August 5, 2026 10:57
@tnotheis
tnotheis enabled auto-merge (squash) August 5, 2026 10:57
@tnotheis
tnotheis disabled auto-merge August 5, 2026 10:57
@tnotheis tnotheis changed the title chore: improve repository setup Improve repository setup Aug 5, 2026
@tnotheis
tnotheis enabled auto-merge (squash) August 5, 2026 10:57
@tnotheis
tnotheis merged commit e369df2 into main Aug 5, 2026
2 checks passed
@tnotheis
tnotheis deleted the improve-repository-setup branch August 5, 2026 11:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Milena-Czierlinski Milena-Czierlinski Milena-Czierlinski approved these changes
@britsta britsta Awaiting requested review from britsta

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.

2 participants

@tnotheis @Milena-Czierlinski