Skip to content

Conversation

umbynos
Copy link
Contributor

@umbynos umbynos commented Apr 17, 2024

No description provided.

@umbynos umbynos added the topic: infrastructure Related to project infrastructure label Apr 17, 2024
@umbynos umbynos self-assigned this Apr 17, 2024
@umbynos umbynos merged commit fc75a81 into main Apr 17, 2024
@umbynos umbynos deleted the fixup branch April 17, 2024 12:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: infrastructure Related to project infrastructure
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants