Skip to content
This repository was archived by the owner on Jul 16, 2025. It is now read-only.

Conversation

@chr-hertel
Copy link
Member

No description provided.

@github-actions github-actions bot added the chore House keeping label Mar 7, 2025
@chr-hertel chr-hertel enabled auto-merge (squash) March 7, 2025 08:21
@chr-hertel chr-hertel requested a review from OskarStark March 7, 2025 08:21
@chr-hertel chr-hertel merged commit ac93f0c into main Mar 7, 2025
7 checks passed
@OskarStark OskarStark deleted the chore-phpstan-limit branch March 7, 2025 09:13
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

chore House keeping

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants