Skip to content

Conversation

@rieder
Copy link
Member

@rieder rieder commented Aug 22, 2024

Code style, standardising names, removing old code

@rieder rieder requested a review from a team as a code owner August 22, 2024 08:28
@stale
Copy link

stale bot commented Oct 28, 2024

This issue has been automatically marked as stale because it has not had recent activity. It will be closed in 28 days if no further activity occurs. Thank you for your contributions.

@stale stale bot added the status: stale Issues that have been around for a while without updates label Oct 28, 2024
@LourensVeen LourensVeen added status: keep-open This issue should not be auto-closed by the bot and removed status: stale Issues that have been around for a while without updates labels Oct 29, 2024
@LourensVeen
Copy link
Member

This is looking good, but it collides with the build system work we've been doing, so it will need a bit of work to merge it into there. I'm going to keep this open, and will get to it when we get ready to merge that. Thanks!

@stale
Copy link

stale bot commented Nov 18, 2025

This issue has been automatically marked as stale because it has not had recent activity. It will be closed in 365 days if no further activity occurs. Thank you for your contributions.

@stale stale bot added the stale label Nov 18, 2025
@HannoSpreeuw HannoSpreeuw moved this from Backlog to Open PRs in Development Board Nov 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

stale status: keep-open This issue should not be auto-closed by the bot

Projects

Status: Open PRs

Development

Successfully merging this pull request may close these issues.

2 participants