Skip to content

Conversation

@autofix-bot
Copy link
Contributor

No description provided.

@github-actions
Copy link
Contributor

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

@github-actions github-actions bot added the meta: stale This issue/PR is stale and will be closed soon label Sep 19, 2024
@roboquat roboquat merged commit c83c8e3 into gitpod-io:main Sep 25, 2024
12 of 14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

meta: stale This issue/PR is stale and will be closed soon size/XS

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants